
Verification, Model Checking, and Abstract Interpretation
- Alaotsikko
- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Toimittaja
- Gilles Barthe, Manuel Hermenegildo
- ISBN
- 9783642113185
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.1.2010
- Sivumäärä
- 397