Correct hardware design and verification methods :  IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / 
Paolo E. Camurati and Hans Eveking (eds.) 
 - Berlin :  Springer-Verlag,  1995 
 - 342 p. 
 - Lecture notes in computer science ;  no. 987 .
<br/><br/><label>ISBN: </label>3540603859 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer hardware description languages--Congresses
<br/><br/><label>LC Class. No.: </label>TK7885.7  / I36 1995