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.
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.
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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.