Verification, model checking and abstract interpretation : proceedings /

Bibliographic Details
Corporate Author: VMCAI Savannah, Ga.
Other Authors: Jones, Neil D. (ed.), Müller-Olm, Markus (ed.)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2009.
Series:Lecture notes in computer science v. 5403
LNCS ; v. 5403
Subjects: