FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

Main Author: Fitzgerald, John
Other Authors: Jones, Cliff B, Lucas, Peter
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1997
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540635338
978-3-540-63533-8