Cover image for Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Title:
Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Conference Author:
VMCAI 2006 (2006 : Charleston, S.C.)
Series:
Lecture notes in computer science ; 3855
Publication Information:
New York, NY : Springer, 2006
ISBN:
9783540311393
Subject Term:
Computer programs -- Verification -- Congresses
Added Author:
Emerson, E. Allen

Namjoshi, Kedar S.

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
 30000010125254 QA76.76.V47 V474 2006 Open Access Book Proceedings, Conference, Workshop etc.
Searching...

On Order