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

FM 2006: Hamilton, Canada

Jayadev Misra, Tobias Nipkow, Emil Sekerinski (Eds.): FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Lecture Notes in Computer Science 4085 Springer 2006, ISBN 3-540-37215-6 BibTeX

Invited Talk

Interactive Verification

Invited Talk

Formal Modelling of Systems

Real Time

Industrial Experience

Specification and Refinement

Programming Languages

Algebra

Education

Formal Modelling of Systems

Formal Aspects of Java

Programming Languages

Model Checking

Industry Day: Abstracts of Invited Talks

Copyright © Sat May 16 23:12:15 2009 by Michael Ley (ley@uni-trier.de)