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

FM 2005: Newcastle upon Tyne, UK

John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (Eds.): FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Lecture Notes in Computer Science 3582 Springer 2005, ISBN 3-540-27882-6 BibTeX

Keynote Talks

Object Orientation

Resource Analysis and Verification

Timing and Testing

CSP, B and Circus


Networks and Processes

Abstraction, Retrenchment and Rewriting

Scenarios and Modeling Languages

Model Checking

Industry Day: Abstracts of Invited Talks

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