scientific article

zbMath0966.68138MaRDI QIDQ2722020

Till Mossakowski, Bernd Krieg-Brückner, Anne Elisabeth Haxthausen

Publication date: 11 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (2)

CASL: the Common Algebraic Specification Language. ⋮ Relating CASL with other specification languages: the institution level.

Uses Software

• Unnamed Item
• Unnamed Item
• ETPS

This page was built for publication: