Preface to CALCO-Tools

  • Lutz Schröder
Conference paper

DOI: 10.1007/978-3-642-40206-7_23

Volume 8089 of the book series Lecture Notes in Computer Science (LNCS)
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

Abstract

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Lutz Schröder

There are no affiliations available