Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation - Barthe, Gilles; Hermenegildo, Manuel; Kanade, Takeo; Association for Computing Machinery-Digital Library; Kittler, Josef (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering