FME '97: Industrial applications and strengthened foundations of formal methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997 ; proceedings
Saved in:
Bibliographic Details
Corporate Author: FME Graz (Author)
Format: Conference Proceeding Book
Language:English
Published: Berlin [u.a.] Springer 1997
Series:Lecture notes in computer science 1313
Subjects:
Physical Description:XIII, 684 S. graph. Darst.
ISBN:3540635335

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!