Recent Trends in Algebraic Development Techniques

DOI10.1007/b94458zbMath1278.68209OpenAlexW2599151985MaRDI QIDQ5900832

Markus Roggenbach, Till Mossakowski, Lutz Schröder, Horst Reichel

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (4)

Constructor-based observational logic ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Behavioral abstraction is hiding information ⋮ Expander2: Program Verification Between Interaction and Automation

Uses Software

• CoCasl

This page was built for publication: Recent Trends in Algebraic Development Techniques