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

10. ICFEM 2008: Kitakyushu-City, Japan

Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.): Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256 Springer 2008, ISBN 978-3-540-88193-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Specification and Verification

Testing

Verification 1

Model Checking and Analysis

Verification 2

Tools

Application of Formal Methods

Semantics

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