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

FM 2008: Turku, Finland

Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere (Eds.): FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Lecture Notes in Computer Science 5014 Springer 2008, ISBN 978-3-540-68235-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Programming Language Analysis

Verification

Real-Time and Concurrency

Grand Chellenge Problems

FM Practice

Runtime Moitoring and Analysis

Communication

Constraint Analysis

Design

Industry Day

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