Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings - Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella (Springer Berlin Heidelberg : Imprint: Springer, 2013)