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

3. IFM 2002: Turku, Finland

Michael J. Butler, Luigia Petre, Kaisa Sere (Eds.): Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Lecture Notes in Computer Science 2335 Springer 2002, ISBN 3-540-43703-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/ifm/2002,
  editor    = {Michael J. Butler and
               Luigia Petre and
               Kaisa Sere},
  title     = {Integrated Formal Methods, Third International Conference, IFM
               2002, Turku, Finland, May 15-18, 2002, Proceedings},
  booktitle = {IFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2335},
  year      = {2002},
  isbn      = {3-540-43703-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

Integration, Simulation, Animation

From Specification to Verfication

Statecharts and B: Integration and Translation

Invited Talk

Model Checkers and Theorem Provers

Links between Object-Z and CSP

Invited Talk

Combining Graphical and Formal Approaches

Refinement and Proof

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