CASL - The Common Algebraic Specification Language - Semantics | H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, D. Sannella, A. Tarlecki, P. Mosses
| | Type | Technical report | | Year | 2002 Month April | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|