@BOOK{ Book!D - 101383425,
AUTHOR = "Patrick Cousot )ed.(",
TITLE = "Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(",
URL = "/book/101383425/Static-analysis-8th-International-Symposium-SAS/"}