Preface to CALCO-Tools

  • Lutz Schröder
Conference paper

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

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

Personalised recommendations