TY  - BOOK
AU  - Emerson,E.Allen
AU  - Namjoshi,Kedar S.
TI  - Verification, model checking, and abstract interpretation: 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings 
SN  - 9783540311393 (soft cover : alk. paper)
U1  - 005.14 22
PY  - 2006///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Computer programs
KW  - Verification
KW  - Congresses
N1  - Includes bibliographical references and index
ER  -