Software (theme 1)
Electronic Notes in Theoretical Computer Science.
B.P.F. Jacobs , M. Niqui (Milad) , J.J.M.M. Rutten (Jan) , A.M. Silva (Alexandra)
International Workshop on Coalgebraic Methods in Computer Science
10th International Workshop on Coalgebraic Methods in Computer Science Paphos,Cyprus March 26–28, 2010
Computer Security

Jacobs, B.P.F, Niqui, M, Rutten, J.J.M.M, & Silva, A.M (Eds.). (2010). Proceedings CMCS 2010. In B.P.F Jacobs, M Niqui, J.J.M.M Rutten, & A.M Silva (Eds.), Proceedings of Workshop on Coalgebraic Methods in Computer Science 2010. Electronic Notes in Theoretical Computer Science. .