TY  - BOOK
A1  - Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
TI  - FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101386089
UR  /book/101386089/FME-2003-formal-methods-International-Symposiu/
ER  -