![Cover image for Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck [and others].](/client/assets/5.1326/ctx//client/images/no_image.png "Cover image for Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck [and others].")
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck [and others].
Title:
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck [and others].
Conference Author:
Publication:
Berlin ; New York : Springer, [2003]
Copyright:
©2003
Publication Date:
2003
ISBN:
9783540003489
Series Search:
Bibliography Note:
Includes bibliographical references and index.
Content Type:
text
Carrier Type:
volume
MSU Volume:
2575
Added Author:
Language:
English
