Representing RSL Specifications in Isabelle/HOL |
Morten P. Lindegaard
|
| Type | Conference paper [With referee] |
| Conference | Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings |
| Editors | David Basin and Burkhart Wolff |
| Year | 2003 Month September pp. 95-110 |
| Publisher | Aracne Editrice S.R.L. |
| Address | Rome, Italy |
| ISBN / ISSN | 88-7999-546-4 |
| Note | |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |