FME '97
Subtitle: industrial applications and strengthened foundations of formal methods : 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, Cliff B. 1944-; Lucas, Peter, 1955-
Series: Lecture notes in computer science -- 1313
Publisher: Springer
Published: 1997
Place of publication: Berlin; London
Language: eng
Number of pages: 684
Subjects: System design -- Methodology -- Congresses.
Notes: Includes bibliographical references and index.