Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

Michael J. Butler Luigia Petre Kaisa Sere Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings IFM Lecture Notes in Computer Science 2335 Springer 2002 3-540-43703-7 db/conf/ifm/ifm2002.html