TY  - BOOK
A1  - \ by Pallab Dasgupta
TI  - <A> Roadmap for Formal Property Verification
PB  - کتابخانه زبانهای خارجی و منابع اسلامی
SN  - 88392299
UR  /book/88392299/A-Roadmap-for-Formal-Property-Verification/
ER  -