Additional Metadata
THEME Software (theme 1)
Publisher CWI
Editor B.P.F. Jacobs , M. Niqui (Milad) , J.J.M.M. Rutten (Jan) , A.M. Silva (Alexandra)
Series Software Engineering [SEN]
Project Mending the Unending: Machine Assisted Reasoning with Infinite Objects
Conference International Workshop on Coalgebraic Methods in Computer Science
Citation
Jacobs, B.P.F, Niqui, M, Rutten, J.J.M.M, & Silva, A.M (Eds.). (2010). CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science. In B.P.F Jacobs, M Niqui, J.J.M.M Rutten, & A.M Silva (Eds.), Software Engineering [SEN]. CWI.