FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings

Lars-Henrik Eriksson Peter A. Lindsay FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings FME Lecture Notes in Computer Science 2391 Springer 2002 3-540-43928-5 db/conf/fm/fme2002.html