International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)

Identifiers

Open LibraryOL398059A

Top Subjects

System design -- Methodology -- Congresses. (1)
System design -- Methodology -- Congresses (1)

Books by International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)

Total count: 2

FME '97industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings

Springer1997-01-01
FME '97, industrial applications and strengthened foundations of formal methods4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings

Springer1997-01-01