Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Format: paperback
ISBN:
9783540408284 (3540408282)
Publish date: August 27th 2003
Publisher: Springer
Pages no: 946
Edition language: English