
Verification, Model Checking, and Abstract Interpretation
- Undertittel
- 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Redaktør
- Gilles Barthe, Manuel Hermenegildo
- ISBN
- 9783642113185
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.1.2010
- Antall sider
- 397
