International Symposium of Formal Methods Europe Oxford, UK, Gaudel, M., & Woodwock, J. (1996). FME'96: Industrial benefit and advances in formal methods. Springer.
Chicago Style (17th ed.) CitationInternational Symposium of Formal Methods Europe Oxford, UK, Marie-Claude Gaudel, and James Woodwock. FME'96: Industrial Benefit and Advances in Formal Methods. Berlin: Springer, 1996.
MLA (9th ed.) CitationInternational Symposium of Formal Methods Europe Oxford, UK, et al. FME'96: Industrial Benefit and Advances in Formal Methods. Springer, 1996.
Warning: These citations may not always be 100% accurate.