Veanes, M. (2013). Tests and proofs: 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-38916-0
Chicago-Zitierstil (17. Ausg.)Veanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; Proceedings. Berlin [u.a.]: Springer, 2013. https://doi.org/10.1007/978-3-642-38916-0.
MLA-Zitierstil (9. Ausg.)Veanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; Proceedings. Springer, 2013. https://doi.org/10.1007/978-3-642-38916-0.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.