TY  - BOOK
A1  - John V. Guttag, James J. Horning
TI  - Larch : languages and tools for formal specification
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101372536
UR  /book/101372536/Larch-languages-and-tools-for-formal-specificati/
ER  -