Tallenna
Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012.
- Alaotsikko
- 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
- Toimittaja
- Viktor Kuncak, Andrey Rybalchenko
- ISBN
- 9783642279393
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.1.2012
- Sivumäärä
- 457
