Verification, model checking, and abstract interpretation：12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings

Corporate Authors: VMCAI 2011 (2011 Austin, Tex.); SpringerLink (Online servie)
Group Author: Schmidt David A., 1953 May 10-; Jhala Ranjit.
Published: Springer,
Publication Dates: c2011.