TY  - BOOK
AU  - Cousot,Patrick
ED  - SAS
TI  - Static analysis: 8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings
T2  - Lecture notes in computer science
SN  - 3540423141
PY  - 2001///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Computer programming
KW  - Congresses
KW  - Programming languages (Electronic computers)
KW  - Constraint-logische Programmierung
KW  - Model Checking
KW  - Programmanalyse
KW  - Programmtransformation
KW  - Statische Analyse
KW  - Konferenzschrift
KW  - 2001
KW  - Paris
KW  - gnd-content
UR  - https://swbplus.bsz-bw.de/bsz09272714xinh.htm
UR  - https://swbplus.bsz-bw.de/bsz09272714xkap.htm
UR  - https://swbplus.bsz-bw.de/bsz09272714xcov.jpg
UR  - https://zbmath.org/?q=an:0969.00086
ER  -