Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
- Author
- Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2008
- Page
- 397
- ISBN
- 354088193X,9783540881933
- File Type
- pdf
- File Size
- 4.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot