Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hunt, W.A. Introduction: Special Issue on Microprocessor Verifications. Formal Methods in System Design 20, 135–137 (2002). https://doi.org/10.1023/A:1014175712530
Issue Date:
DOI: https://doi.org/10.1023/A:1014175712530