Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy.
(Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)