Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings - Gilles Barthe, Manuel Hermenegildo ((Lecture Notes in Computer Science))