Designing a Flexible Kernel Providing VDM++ Support for Eclipse | Jacob Porsborg Nielsen, Jens Kielsgaard Hansen, Hans (supervised by) Bruun, Anne Elisabeth (supervised by) Haxthausen
| | Keywords | VDM++, Eclipse | | Type | Conference paper [Without referee] | | Conference | Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK | | Year | 2005 Month July | | Note | The work has been supervised by Hans Bruun (IMM), Anne Haxthausen (IMM) and Peter Gorm Larsen (Systematic) | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|