TY  - BOOK
A1  -  edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
TI  - Verification, Model Checking, and Abstract Interpretation : 
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90115092
UR  /book/90115092/Verification-Model-Checking-and-Abstract-Interpr/
ER  -