@BOOK{ Book!D - 93574813,
AUTHOR = "/ Ganesh Gopalakrishnan, Shaz Qadeer",
TITLE = "Computer Aided Verification",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS",
URL = "/book/93574813/Computer-Aided-Verification/"}