A formal hardware verification methodology and its application to a network interface drip
By: M.J.C. Gordon and J. Herbert.
Contributors: Herbert, John.; University of Cambridge. Computer Laboratory.
Series: Technical report -- No.66
Publisher: University of Cambridge, Computer Laboratory
Published: 1984
Place of publication: Cambridge
Language: eng
Number of pages: 34