9783540439288 - fme 2002: formal methods - getting it right: international symposium of formal methods europe copenhagen, denmark, july 22-24, 2002 proceedings (lecture notes in computer science, 2391, band 2391) (1 Ergebnisse)