TY  - BOOK
A1  - Chris Hankin, Igor Siveroni )eds.(
TI  - Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101389027
UR  /book/101389027/Static-analysis-12th-International-Symposium-SA/
ER  -