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 BibTeX
@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 © Sat May 16 23:23:11 2009
by Michael Ley (ley@uni-trier.de)
