FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings - International Symposium of Formal Methods Europe; 荒木, 啓二郎; Gnesi, Stefania; Mandrioli, Dino (Lecture notes in computer science, 2003)