TAP Marburg, STAF, Gabmeyer, S., & Johnsen, E. B. (2017). Tests and Proofs: 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017 : proceedings. Springer. https://doi.org/10.1007/978-3-319-61467-0
Chicago-Zitierstil (17. Ausg.)TAP Marburg, STAF, Sebastian Gabmeyer, und Einar Broch Johnsen. Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017 : Proceedings. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-61467-0.
MLA-Zitierstil (9. Ausg.)TAP Marburg, et al. Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017 : Proceedings. Springer, 2017. https://doi.org/10.1007/978-3-319-61467-0.