Designing a Flexible Kernel Providing VDM++ Support for Eclipse

Jacob Porsborg Nielsen, Jens Kielsgaard Hansen, Hans Bruun, Anne Elisabeth Haxthausen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationOverture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK
    Publication date2005
    Publication statusPublished - 2005
    EventFormal Methods Symposium FM'05 -
    Duration: 1 Jan 2005 → …

    Conference

    ConferenceFormal Methods Symposium FM'05
    Period01/01/2005 → …

    Cite this