Verification, model checking, and abstract interpretation：7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings

Corporate Authors: VMCAI 2006 (2006 Charleston, S.C
Group Author: Emerson E. Allen; Namjoshi Kedar S
Published: Springer-Verlag,
Publication Dates: 2006.
Call Number: TP311.1-532/V516/2006