%0 Book
%T Recent Trends in Algebraic Development Techniques
%T 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012
%+ Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid] (UCM)
%A Martí-Oliet, Narciso
%A Palomino, Miguel
%@ 978-3-642-37634-4
%I Springer
%S Lecture Notes in Computer Science
%V LNCS-7841
%8 2013
%D 2013
%R 10.1007/978-3-642-37635-1
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 7841
%G English
%Z TC 1
%Z WG 1.3
%L hal-01485894
%U https://inria.hal.science/hal-01485894
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-LNCS-7841
%~ IFIP-WADT