TY  - BOOK
A1  - Agostino Cortesi, Gilberto File
TI  - Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101382212
UR  /book/101382212/Static-analysis-6th-International-Symposium-SAS/
ER  -