%0 Book
%T Coalgebraic Methods in Computer Science
%T 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014
%+ Universiteit Leiden = Leiden University 
%A Bonsangue, Marcello M.
%@ 978-3-662-44123-7
%I Springer
%S Coalgebraic Methods in Computer Science
%V LNCS-8446
%8 2014
%D 2014
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 8446
%G English
%Z TC 1
%Z WG 1.3
%L hal-01408765
%U https://inria.hal.science/hal-01408765
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-LNCS-8446
%~ IFIP-WG1-3
%~ IFIP-CMCS