Srivas, Mandayam. Ed. Camilleri, Albert. Ed.
Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996 - Berlin Springer 1997 - 467 - Lecture notes in computer science ; 01166 .
3540619372
Computer-Aided Design
681 LNCS
Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996 - Berlin Springer 1997 - 467 - Lecture notes in computer science ; 01166 .
3540619372
Computer-Aided Design
681 LNCS