TY  - BOOK
A1  - / Sandip Ray
TI  - Scalable Techniques for Formal Verification
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93582219
UR  /book/93582219/Scalable-Techniques-for-Formal-Verification/
ER  -