@BOOK{ Book!D - 101384918,
AUTHOR = "Mark D. Aagaard, John W. O'Leary )eds.(",
TITLE = "Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits",
URL = "/book/101384918/Formal-methods-in-computeraided-design-4th-inte/"}