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

2. FME 1994: Barcelona, Spain

Maurice Naftalin, B. Tim Denvir, Miquel Bertran (Eds.): FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings. Lecture Notes in Computer Science 873 Springer 1994, ISBN 3-540-58555-9 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)