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

FM 1999: Toulouse, France, Volume 1

Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1708 Springer 1999, ISBN 3-540-66587-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Integration into the Development Process

Software Architecture

European Association for Theoretical Computer Science (EATCS)

Model Checking

The B Method

Composition and Synthesis

Telecommunications

Security

Object-Orientation

Testing

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