WADT Online & Roggenbach, M. (2021). Recent trends in algebraic development techniques: 25th international workshop, WADT 2020, virtual event, April 29, 2020, revised selected papers. Springer. https://doi.org/10.1007/978-3-030-73785-6
Chicago-Zitierstil (17. Ausg.)WADT Online und Markus Roggenbach. Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-73785-6.
MLA-Zitierstil (9. Ausg.)WADT Online und Markus Roggenbach. Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers. Springer, 2021. https://doi.org/10.1007/978-3-030-73785-6.