Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings - VMCAI 2007 (2007 : Nice, France); Cook, Byron; Podelski, Andreas; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and index.
Electronic reproduction.
Keywords: Computer programs -- Verification -- Congresses; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering