CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science

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
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Jacobs, B. P. F., Niqui, M., Rutten, J.& Silva, A. (Eds.). (2010). CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science. In B. P. F. Jacobs, M. Niqui, J. Rutten& A. Silva (Eds.), Software Engineering [SEN] (SEN-1004). CWI.

Publication