Mandrioli, Dion books & textbook
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science, 2805)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion
Springer /2003-08-27 Paperback / 980 Pages
isbn-10: 3540408282 / isbn-13: 9783540408284
