TY  - BOOK
A1  - Peter Muller
TI  - Modular specification and verification of object-oriented programs
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101384249
UR  /book/101384249/Modular-specification-and-verification-of-objecto/
ER  -