Recent Trends in Algebraic Development Techniques
Subtitle: 26th IFIP WG 1. 3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031433443