TY  - BOOK
AU  - Prinetto,Paolo
AU  - Camurati,Paolo
ED  - Advanced Research Workshop on Correct Hardware Design Methodologies
ED  - ESPRIT Basic Research Action 3216 "CHARME".
ED  - Politecnico di Torino.
TI  - Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991 
SN  - 0444893679
AV  - TK7874 .A3353 1991
U1  - 621.395 20
PY  - 1992///
CY  - Amsterdam
PB  - North-Holland
KW  - Integrated circuits
KW  - Very large scale integration
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Computer-aided design
KW  - Design and construction
KW  - Data processing
N1  - "Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."; "Sponsored by Politecnico di Torino."; Includes bibliographical references and index
ER  -