Home › Authors › International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) 👤 International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) 2 books Books by International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) FME '97 1997 FME '97, industrial applications and strengthened foundations of formal methods 1997
