Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Grumberg, O. Introduction: Special Issue on CAV '97. Formal Methods in System Design 18, 95 (2001). https://doi.org/10.1023/A:1008784005996
Issue Date:
DOI: https://doi.org/10.1023/A:1008784005996