APA-Zitierstil (7. Ausg.)

SEFM Trient, Cimatti, A., & Sirjani, M. (2017). Software engineering and formal methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings. Springer. https://doi.org/10.1007/978-3-319-66197-1

Chicago-Zitierstil (17. Ausg.)

SEFM Trient, Alessandro Cimatti, und Marjan Sirjani. Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : Proceedings. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-66197-1.

MLA-Zitierstil (9. Ausg.)

SEFM Trient, et al. Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : Proceedings. Springer, 2017. https://doi.org/10.1007/978-3-319-66197-1.