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

Stefania Gnesi Diego Latella 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. 119-120 2001 19 Formal Methods in System Design 2 db/journals/fmsd/fmsd19.html#GnesiL01