Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / Helle Hvid Hansen, Fabio Zanasi (eds.).

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 1...

Full description

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Coalgebraic Methods in Computer Science Munich, Germany, ETAPS (Conference)
Other Authors: Hansen, Helle Hvid (Editor), Zanasi, Fabio (Editor)
Format: eBook
Language:English
Published: Cham : Springer, [2022]
Series:Lecture notes in computer science ; 13225.
Subjects:
Online Access:Click for online access