FME '97, industrial applications and strengthened foundations of formal methods
Subtitle: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
By: John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.)
Contributors: Fitzgerald, John, 1965-; Jones, C. B. 1944-; Lucas, Peter, 1955-
Series: Lecture notes in computer science,; 1313
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 684
Subjects: System design -- Methodology -- Congresses
Other titles: Industrial applications and strengthened foundations of formal methods
Notes: Includes bibliographical references and index.