Correct hardware design and verification methods 
/ IFIP WG10.2 advanced research working conference CHARME'93 Arles, Frances, 24-26 May, 1993 
 - London:   Springer-Verlag,   1993 
 - 269p.  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer
<br/><br/><label>Subjects--Index Terms: </label>Hardware 
<br/><br/><label>Universal Decimal Class. No.: </label>D 681.3.02(082.2)  / N3