"FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings " - читать интересную книгу автора (Keijiro Araki, Stefania Gnesi, Dion Mandrioli)