APA (7th ed.) Citation

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 Style (17th ed.) Citation

Madeira, 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. Cham: Springer, 2023.

MLA (9th ed.) Citation

Madeira, 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. Springer, 2023.