FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Araki Keijiro Heftet / 2003 / Engelsk
