Gå direkte til innholdet
Verification, Model Checking, and Abstract Interpretation
Spar

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.
Undertittel
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
ISBN
9783642113185
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
8.1.2010
Antall sider
397