dblp.uni-trier.de www.uni-trier.de

1. FME 1993: Odense, Denmark

Jim Woodcock, Peter Gorm Larsen (Eds.): FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670 Springer 1993, ISBN 3-540-56662-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lectures

Industrial Usage Reports

Papers

Copyright © Mon Nov 2 20:36:30 2009 by Michael Ley (ley@uni-trier.de)