Books+ Search Results
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Title
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).
ISBN
354024297X (pbk.)
Published
Berlin ; New York : Springer, c2005.
Physical Description
xi, 481 p. : ill. ; 24 cm.
Notes
Internat. conference proceedings.
Variant and related titles
VMCAI 2005
Format
Books
Language
English
Added to Catalog
March 17, 2005
Bibliography
Includes bibliographical references.
Subjects
Also listed under
Bookmark As
Citation
