Verification, model checking, and abstract interpretation :
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
[edited by] E. Allen Emerson, Kedar S. Namjoshi.
- Berlin ; New York : Springer-Verlag, c2006.
- xi, 442 p. : ill. ; 24 cm.
- Lecture notes in computer science, 3855 0302-9743 ; .
Includes bibliographical references and index.
9783540311393 (soft cover : alk. paper) 3540311394 (soft cover : alk. paper)
Computer programs--Verification--Congresses.
005.14 / EMV
Includes bibliographical references and index.
9783540311393 (soft cover : alk. paper) 3540311394 (soft cover : alk. paper)
Computer programs--Verification--Congresses.
005.14 / EMV