CMCS'2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6--7, 2002.

From MaRDI portal
Publication:5970657