in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 10644, Pages: 39-55
Conference
23Rd Ifip Wg 1.3 International Workshop on Algebraic Development Techniques, Wadt 2016, Date: 21 September 2016 through 24 September 2016