Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014
https://hal.inria.fr/hal-01408765 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Monday, December 5, 2016 - 1:28:07 PM Last modification on : Monday, December 5, 2016 - 2:12:21 PM
Marcello M. Bonsangue. Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7. ⟨hal-01408765⟩