Casl: A Guided Tour of Its Design
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 216-240
- https://doi.org/10.1007/3-540-48483-3_15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Static semantic analysis and theorem proving for CASLPublished by Springer Nature ,1998
- Architectural Specifications in CASLPublished by Springer Nature ,1998
- CASL for ASF+SDF UsersElectronic Workshops in Computing, 1997
- CASL for ASF+SDF UsersBRICS Report Series, 1997
- CoFI: The common framework initiative for algebraic specification and developmentPublished by Springer Nature ,1997
- The Kiv-approach to software verificationPublished by Springer Nature ,1995