Recent trends in algebraic development techniques: 25th international workshop, wadt 2020, virtual event, april 29, 2020, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030737849
Date de publication :
11 avr. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.