Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings /  George J. Milne and Laurence Pierre (Eds.) 

 - Berlin :  Springer-Verlag,  1993 
 - 269 p. 
 - Lecture notes in computer science ;  no. 683 .
<br/><br/><label>ISBN: </label>3 540 56778 X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer hardware description languages--Congresses
<br/><br/><label>LC Class. No.: </label>TK7885.7 I36 1993