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
- 978-3-540-40828-4,978-3-540-45236-2
- File Type
- pdf
- File Size
- 11.8 MiB
How to Download?!!!
Just click on START button on Telegram Bot