APA (7th ed.) Citation

TAP Online, Ahrendt, W., & Wehrheim, H. (2020). Tests and proofs: 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22–23, 2020, proceedings. Springer. https://doi.org/10.1007/978-3-030-50995-8

Chicago Style (17th ed.) Citation

TAP Online, Wolfgang Ahrendt, and Heike Wehrheim. Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings. Cham, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.

MLA (9th ed.) Citation

TAP Online, et al. Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.