GEORGE MILNE <br/><br/>
FORMAL SPECIFICATION AND VERIFICATION OF DIGITAL SYSTEMS 

 -  MCGRAW HILL BOOK COMPANY  1994 
 - 240 
<br/><br/><label>ISBN: </label>007707811X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ELECTRONICS DIGITAL SYSTEMS 
<br/><br/><label>Dewey Class. No.: </label>621.39`2  MIL N4  / GEO