Login / Signup

Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Published in: WADT (2021)
Keyphrases