@BOOK{ Book!D - 101385486,
AUTHOR = "Hubert Garavel, John Hatcliff )eds.(",
TITLE = "Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، System design,Congresses ، Computer software -- Development",
URL = "/book/101385486/Tools-and-algorithms-for-the-construction-and-anal/"}