Recent Trends in Algebraic Development Techniques
Subtitle: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2021
Language: eng
ISBN-13: 9783030737849