APA (7th ed.) Citation

Ehrig, H., Floyd, C., Nivat, M., & Thatcher, J. (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: Volume 2: Colloquium on Software Engineering (CSE). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Ehrig, Hartmut, Christiane Floyd, M. Nivat, and James Thatcher. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE). Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

MLA (9th ed.) Citation

Ehrig, Hartmut, et al. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE). Springer Berlin Heidelberg, 1985.