Spar
Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.
- Undertittel
- 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
- Redaktør
- Barbara Jobstmann, K. Rustan M. Leino
- Opplag
- 1st ed. 2016
- ISBN
- 9783662491218
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 26.12.2015
- Antall sider
- 558
