Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
- Author
- Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
- Publisher
- Springer
- Language
- English
- Year
- 2010
- Page
- 429
- ISBN
- 3642118100,9783642118104
- File Type
- pdf
- File Size
- 5.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot