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:
Description
Physical Description:xi, 380 p. : il. ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9783540938996