FME 2003: Formal Methods electronic resource : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli
- Författare
- Italy) 2003 : (12th International Symposium of Formal Methods Europe Pisa
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |