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

5. IFM 2005: Eindhoven, The Netherlands

Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.): Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Lecture Notes in Computer Science 3771 Springer 2005, ISBN 3-540-30492-4 BibTeX

Invited Papers


State/Event-Based Verification

System Development

Applications of B

Tool Support

Non-software Domains


UML and Statecharts

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