scientific article; zbMATH DE number 1617291

zbMATH Open0966.68132MaRDI QIDQ2722015FDOQ2722015

Authors: Davide Ancona, Maura Cerioli, Elena Zucca 

Publication date: 11 July 2001

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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)