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 (1st ed. 2023.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43345-0
Chicago Style (17th ed.) CitationMadeira, Alexandre, and 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. 1st ed. 2023. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43345-0.
MLA (9th ed.) CitationMadeira, Alexandre, and 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. 1st ed. 2023. Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43345-0.