Milne, George J. <br/><br/>
Formal specification and verification of digital systems / 
George Milne. 
 - London :  McGraw-Hill,  c1994. 
 - xiv, 240 p. :  ill.  ;  24 cm. 
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references . 
<br/><br/><label>ISBN: </label>007707811X (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Digital integrated circuits--Design and construction--Data processing.<br/>Integrated circuits--Verification.<br/>Computer hardware description languages.