TAP Wien & Aichernig, B. K. (2016). Tests and proofs: 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)TAP Wien und Bernhard K. Aichernig. Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016 : Proceedings. [Cham]: Springer, 2016.
MLA-Zitierstil (9. Ausg.)TAP Wien und Bernhard K. Aichernig. Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016 : Proceedings. Springer, 2016.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.