TY  - BOOK
AU  - Srivas, Mandayam. Ed.
AU  - Camilleri, Albert. Ed.
TI  - Formal Methods in Computer-Aided Design, First International Conference on-: Proceedings, Palo Alto, CA, USA, 1996
SN  - 3540619372
CY  - Berlin
KW  - Computer-Aided Design
ER  -