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) (1st ed. 1985.). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-15199-0

Chicago Style (17th ed.) Citation

Ehrig, Hartmut, Christiane Floyd, Maurice 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). 1st ed. 1985. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. https://doi.org/10.1007/3-540-15199-0.

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). 1st ed. 1985. Springer Berlin Heidelberg, 1985. https://doi.org/10.1007/3-540-15199-0.