TY  - BOOK
AU  - Cousot Patrick
ED  - International Workshop on Static Analysis( 3rd : 1993 : Padova,Italy )
ED  - International Workshop on Static Analysis 3rd
TI  - Static analysis : proceedings
U1  - 1.5436 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
KW  - Computer science
ER  -