@BOOK{ Book!D - 93582219,
AUTHOR = "/ Sandip Ray",
TITLE = "Scalable Techniques for Formal Verification",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE",
URL = "/book/93582219/Scalable-Techniques-for-Formal-Verification/"}