TY  - BOOK
A1  - MIKHAIL RANA FARID ET AL
TI  - AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING
PB  - کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان
SN  - 103195831
UR  /book/103195831/AUTOMATED-DATABASE-APPLICATIONS-TESTING-SPECIFICA/
ER  -