Home›Books›International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)No biography available.Works (2)FME '97, industrial applications and strengthened foundations of formal methods1997FME '971997