Chapter

Algebra and Coalgebra in Computer Science

Volume 8089 of the series Lecture Notes in Computer Science pp 314-314

Preface to CALCO-Tools

  • Lutz Schröder

* Final gross prices may vary according to local VAT.

Get Access

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.