Preface to CALCO-Tools
- Cite this paper as:
- Schröder L. (2013) Preface to CALCO-Tools. In: Heckel R., Milius S. (eds) Algebra and Coalgebra in Computer Science. CALCO 2013. Lecture Notes in Computer Science, vol 8089. Springer, Berlin, Heidelberg
The CALCO-Tools workshops provide a forum to present, demonstrate, and discuss systems, prototypes, and tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques.