Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
- Author
- John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2012
- Page
- 227
- ISBN
- 978-3-642-33295-1,978-3-642-33296-8
- File Type
- pdf
- File Size
- 4.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot