in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 13710 LNCS, Pages: 25-59 (34)
Conference
26Th Ifip Wg 1.3 International Workshop on Algebraic Development Techniques, Wadt 2022, Date: 28 June 2022 through 30 June 2022, Location: Aveiro