TY  - GEN
TI  - Verification, Model Checking, and Abstract Interpretation : : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings
SN  - 9783540939009 
AV  - QA76.5 
PY  - 2009///
CY  - Berlin, Heidelberg : 
PB  - Springer Berlin Heidelberg, 
KW  - Computer science
KW  - Logic design
KW  - Software engineering
KW  - Logics and Meanings of Programs
ER  -