
Verification, Model Checking, and Abstract Interpretation
- Undertitel
- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Redaktör
- Gilles Barthe, Manuel Hermenegildo
- ISBN
- 9783642113185
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-01-08
- Sidor
- 397