Verification, model checking, and abstract interpretation：5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Corporate Authors: VMCAI 2004 (2004 Venice, Italy); ACM Symposium on Principles of Programming Languages 2004 Venice, Italy) (Venice, Italy))
Group Author: Levi G.; (Giorgio), 1942-; Steffen Bernhard.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.1-532/V516/2004