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

7. FMOODS 2005: Athens, Greece

Martin Steffen, Gianluigi Zavattaro (Eds.): Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535 Springer 2005, ISBN 3-540-26181-8 BibTeX

Invited Talk

Models and Calculi



Composition and Verification

Analysis of Java Programs

Web Services

Specification and Verification

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