Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997

DOI10.1023/A:1008784005996zbMath0986.00060OpenAlexW1560522553MaRDI QIDQ5943257

No author found.

Publication date: 27 May 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008784005996

zbMATH Keywords

ConferencePapersSpecial issueCAV '97Computer-aided verification

Mathematics Subject Classification ID

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

This page was built for publication: Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997