TY  - BOOK
A1  - Patrick Cousot...]et al.[
TI  - Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101373770
UR  /book/101373770/Static-analysis-third-International-Workshop-WS/
ER  -