Verification, model checking, and abstract interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings /

Corporate Authors: VMCAI 2013 Rome, Italy); SpringerLink (Online service)
Group Author: Giacobazzi, Roberto.; Berdine, Josh.; Mastroeni, Isabella.
Published: