TY  - BOOK
A1  -  edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
TI  - NASA Formal Methods : 
PB  - کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90115305
UR  /book/90115305/NASA-Formal-Methods/
ER  -