Siirry suoraan sisältöön
Verification, Model Checking, and Abstract Interpretation
Tallenna

Verification, Model Checking, and Abstract Interpretation

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010.
Alaotsikko
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
ISBN
9783642113185
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
8.1.2010
Sivumäärä
397