Verification, Model Checking, and Abstract Interpretation
- Alaotsikko
- 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
- Toimittaja
- Jobstmann Barbara, Leino K. Rustan M.
- Painos
- 15001
- ISBN
- 9783662491218
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 26.12.2015
- Sivumäärä
- 558








































