Preface to CALCO-Tools

  • Lutz Schröder
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8089)

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