1
Published 2014
Springer Berlin Heidelberg
... on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France...