Tietueen sitaatit
APA-viiteInternational Symposium of Formal Methods Europe, Woodcock, J., & Gaudel, M. (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.
Chicago-tyylinen lähdeviittausInternational Symposium of Formal Methods Europe, James Woodcock, ja Marie-Claude Gaudel. 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: Springer, 1996.
MLA-viiteInternational Symposium of Formal Methods Europe, et al. 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.
Harvard-tyylinen lähdeviittausInternational Symposium of Formal Methods Europe, Woodcock, J. & Gaudel, M. 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. Berlin: Springer.