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

✍ Scribed by Stefania Gnesi; Diego Latella

• Book ID: 110299351
• Publisher: Springer
• Year: 2001
• Tongue: English
• Weight: 29 KB
• Volume: 19
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1023/a:1011279615774