Formal methods in computer-aided design. 1st international conference, FMCAD '96, Palo Alto, CA, USA, November 6--8, 1996. Proceedings

zbMath0853.68028MaRDI QIDQ2563365

No author found.

Publication date: 11 December 1996

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsPalo Alto, CA (USA)Formal methodsComputer aided-designFMCAD

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Combining Decision Procedures by (Model-)Equality Propagation