CASL - the Common Algebraic Specification Language - Summary | Anne Haxthausen, et.al.
| | Type | Technical report | | Journal/Book/Conference | CoFI Task Group on Language Design | | Year | 2001 Month March | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|