FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings - Fitzgerald, John; Fitzgerald, John; Jones, Cliff B.; Jones, Cliff B.; Lucas, Peter; Lucas, Peter (Springer Berlin Heidelberg : Imprint: Springer, 1997)