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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Keynote Talks

Object Orientation

Resource Analysis and Verification

Timing and Testing

CSP, B and Circus

Security

Networks and Processes

Abstraction, Retrenchment and Rewriting

Scenarios and Modeling Languages

Model Checking

Industry Day: Abstracts of Invited Talks

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