TY  - BOOK
A1  - / Gilles Barthe, Manuel Hermenegildo (eds.)
TI  - Verification, model checking, and abstract interpretatio
PB  - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران
SN  - 103409754
UR  /book/103409754/Verification-model-checking-and-abstract-interpr/
ER  -