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

MaRDI QIDQ2563365zbMATH OpenFDO

Authors

Publication date 11 December 1996

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

zbMATH Keywords

ConferenceFormal methodsProceedingsPalo Alto, CA (USA)Computer 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)

Cited in

(3)

• Mechanized formal methods: progress and prospects
• Combining Decision Procedures by (Model-)Equality Propagation
• Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15--17, 2004. Proceedings.

This page was built for publication: Formal methods in computer-aided design. 1st international conference, FMCAD '96, Palo Alto, CA, USA, November 6--8, 1996. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563365)