TY  - BOOK
A1  -  Dang Van Hung, Mizuhito Ogawa (eds.)
TI  - Automated technology for verification and analysis :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 89974752
UR  /book/89974752/Automated-technology-for-verification-and-analysis/
ER  -