@BOOK{ Book!D - 101382212,
AUTHOR = "Agostino Cortesi, Gilberto File",
TITLE = "Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، System analysis",
URL = "/book/101382212/Static-analysis-6th-International-Symposium-SAS/"}