Proof Support for RAISE | Morten P. Lindegaard
| | Keywords | RSL, RAISE, Isabelle, HOL, proof support, institutions. | | Type | Misc [Presentation] | | Journal/Book/Conference | NWPT'01, The 13th Nordic Workshop on Programming Theory | | Editors | Michael R. Hansen | | Year | 2001 Month October pp. 14 | | Publisher | Technical University of Denmark | | Address | DTU, DK-2800 Kgs. Lyngby | | IMM no. | IMM-TR-2001-12 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|