scientific article; zbMATH DE number 1617291

MaRDI QIDQ2722015zbMATH OpenFDO

Authors Davide Ancona, Maura Cerioli, Elena Zucca

Publication date 11 July 2001

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 2172806
• scientific article; zbMATH DE number 2079806
• Relating CASL with other specification languages: the institution level.
• scientific article; zbMATH DE number 1754650

Cited in

(1)

• Relating CASL with other specification languages: the institution level.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722015)