A RAISE Specification Framework and Justification Assistant for the Duration Calculus | A. Haxthausen, X. Yong
| | Type | Conference paper [With referee] | | Conference | Proceedings of ESSLLI-98 Workshop on Duration Calculus | | Year | 1998 pp. 51-58 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|