Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gnesi, S., Latella, D. Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers. Formal Methods in System Design 19, 119–120 (2001). https://doi.org/10.1023/A:1011279615774
Issue Date:
DOI: https://doi.org/10.1023/A:1011279615774