Proof support for RAISE - by a Reuse Approach Based on Institutions |
Morten Peter Lindegaard
|
| Abstract | |
| Type | Ph.D. thesis [Academic thesis] |
| Year | 2004 |
| Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
| Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
| Series | IMM-PHD-2004-132 |
| Note | Supervised by Assoc. Prof. Anne E. Haxthausen and Assoc. Prof. Michael R. Hansen |
| Electronic version(s) | [ps] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |