FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
- Author
- Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2003
- Page
- 946
- ISBN
- 3540408282,9783540408284
- File Type
- pdf
- File Size
- 8.1 MiB
How to Download?!!!
Just click on START button on Telegram Bot