Madeira, A., & Martins, M. A. (2023). Recent trends in algebraic development techniques: 26th IFIP WG 1.3 international workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Madeira, Alexandre, und Manuel A. Martins. Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : Revised Selected Papers. Cham: Springer, 2023.
MLA-Zitierstil (9. Ausg.)Madeira, Alexandre, und Manuel A. Martins. Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : Revised Selected Papers. Springer, 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.