Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15--17, 2004. Proceedings.

DOI10.1007/B102264zbMath1063.68005OpenAlexW4229585471MaRDI QIDQ1780835

No author found.

Publication date: 13 June 2005

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

Full work available at URL: https://doi.org/10.1007/b102264

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)

This page was built for publication: Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15--17, 2004. Proceedings.