FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas.

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume we...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Fitzgerald, John (Editor), Jones, Cliff B. (Editor), Lucas, Peter (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Edition:	1st ed. 1997.
Series:	Lecture Notes in Computer Science, 1313 Springer eBook Collection.
Subjects:	Software engineering. Computer programming. Programming languages (Electronic computers). Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.