Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni ((Lecture Notes in Computer Science))