CASL Semantics | Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
| | Type | Book [Chapter] | | Book title | CASL Reference Manual | | Editors | Peter D. Mosses | | Year | 2004 | | Publisher | Springer | | Series | IFIP LNCS series | | Publication link | http://www.informatik.uni-bremen.de/~till/papers/cai.ps | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|