Floyd, C., & Εhrig, H. (1985). Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985. Springer-Verlag.
Chicago Style (17th ed.) CitationFloyd, Christiane, and Hartmut Εhrig. Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985. Berlin: Springer-Verlag, 1985.
MLA (8th ed.) CitationFloyd, Christiane, and Hartmut Εhrig. Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985. Springer-Verlag, 1985.
Warning: These citations may not always be 100% accurate.
