TY  - BOOK
A1  - / Barbara Jobstmann, K. Rustan M. Leino
TI  - Verification, Model Checking, and Abstract Interpretation
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93610784
UR  /book/93610784/Verification-Model-Checking-and-Abstract-Interpr/
ER  -