%0 Book
%T Recent Trends in Algebraic Development Techniques
%T 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
%+ Royal Holloway [University of London] (RHUL)
%+ "Simion Stoilow" Institute of Mathematics (IMAR)
%A Fiadeiro, José
%A Țuțu, Ionuț
%@ 978-3-030-23219-1
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-11563
%8 2019
%D 2019
%R 10.1007/978-3-030-23220-7
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 11563
%G English
%Z TC 1
%Z WG 1.3
%L hal-02364573
%U https://inria.hal.science/hal-02364573
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-11563