%0 Book
%T Recent Trends in Algebraic Development Techniques
%T 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
%+ Swansea University
%A James, Phillip
%A Roggenbach, Markus
%@ 978-3-319-72043-2
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-10644
%8 2017
%D 2017
%R 10.1007/978-3-319-72044-9
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 10644
%G English
%Z TC 1
%Z WG 1.3
%L hal-01767477
%U https://inria.hal.science/hal-01767477
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-10644