Pages that link to "Item:Q1422256"
From MaRDI portal
The following pages link to CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256):
Displayed 5 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)