@BOOK{ Book!D - 103195831,
AUTHOR = "MIKHAIL RANA FARID ET AL",
TITLE = "AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان",
SUBJECT = "LIBRARY SCIENCE&INFORMATION SCIENCE",
URL = "/book/103195831/AUTOMATED-DATABASE-APPLICATIONS-TESTING-SPECIFICA/"}