FME '96: Industrial Benefit and Advances in Formal Methods - Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings
- Författare
- International Symposium of Formal Methods Europe International Symposium of Formal Methods Europe
- (Edited by Marie-Claude Gaudel, James Woodcock.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 1996 | Tyskland, Berlin, Heidelberg | 1 online resource (XIII, 711 sidor.) |