@BOOK{ Book!D - 99682055,
AUTHOR = "/ Robert B. Jones",
TITLE = "Symbolic simulation methods for industrial formal verification",
LIBRARY= "کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران",
SUBJECT = "Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Formal methods (computer science)",
URL = "/book/99682055/Symbolic-simulation-methods-for-industrial-formal/"}