TAP Marburg & Grabmeyer, S. (2017). Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)TAP Marburg und Sebastian Grabmeyer. Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017 : Proceedings. Cham: Springer, 2017.
MLA-Zitierstil (9. Ausg.)TAP Marburg und Sebastian Grabmeyer. Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017 : Proceedings. Springer, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.