TY  - BOOK
A1  - Radhia Cousot )ed.(
TI  - Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101385845
UR  /book/101385845/Static-analysis-10th-international-symposium-SA/
ER  -