Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) | lit.salon

Author

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

2 works

1997 across 2 dated works

No biography is available yet.

Start with

FME '97: industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings1997
Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science)1997
With C. B. Jones, Peter Lucas

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science)1997
With C. B. Jones, Peter Lucas
2 editions
shelves
0
reviews
0
lists
0
quotes
0
FME '97: industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings1997
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around International Symposium of Formal Methods Europe (4th 1997 Graz, Austria).

The conversation is still open.

There is no public salon activity to show for International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) yet.