Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Courcoubetis, C. Introduction to the Special Issue on Computer-Aided Verification (CAV93). Formal Methods in System Design 11, 111–112 (1997). https://doi.org/10.1023/A:1008603628600
Issue Date:
DOI: https://doi.org/10.1023/A:1008603628600