FME Oxford. (1996). 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. Springer. https://doi.org/10.1007/3-540-60973-3
Chicago-Zitierstil (17. Ausg.)FME Oxford. 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. Berlin u.a: Springer, 1996. https://doi.org/10.1007/3-540-60973-3.
MLA-Zitierstil (9. Ausg.)FME Oxford. 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. Springer, 1996. https://doi.org/10.1007/3-540-60973-3.