Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wing, J., Woodcock, J. Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design 17, 199–200 (2000). https://doi.org/10.1023/A:1026521916117
Issue Date:
DOI: https://doi.org/10.1023/A:1026521916117