Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers

✍ Scribed by Stefania Gnesi; Diego Latella

• Book ID: 110265991
• Publisher: Springer
• Year: 1998
• Tongue: English
• Weight: 49 KB
• Volume: 12
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1023/a:1008669025349