FME '94: Industrial Benefit of Formal Methods electronic resource : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
- Författare
- International Symposium of Formal Methods Europe
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |