@BOOK{ Book!D - 93609465,
AUTHOR = "/ Armin Biere, Amir Nahir, Tanja Vos",
TITLE = "Hardware and Software: Verification and Testing",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS",
URL = "/book/93609465/Hardware-and-Software-Verification-and-Testing/"}