Designing a Flexible Kernel Providing VDM++ Support for Eclipse

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK
Publication date	2005
Publication status	Published - 2005
Event	International Symposium of Formal Methods Europe - Newcastle, United Kingdom Duration: 18 Jul 2005 → 22 Jul 2005

Conference	International Symposium of Formal Methods Europe
Country/Territory	United Kingdom
City	Newcastle
Period	18/07/2005 → 22/07/2005

Access to Document

@inproceedings{45261f0e8f824097995e3f114c83f7cb,

title = "Designing a Flexible Kernel Providing VDM++ Support for Eclipse",

keywords = "Eclipse, VDM++",

author = "Nielsen, \{Jacob Porsborg\} and Hansen, \{Jens Kielsgaard\} and Hans Bruun and Haxthausen, \{Anne Elisabeth\}",

year = "2005",

language = "English",

booktitle = "Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK",

note = "International Symposium of Formal Methods Europe ; Conference date: 18-07-2005 Through 22-07-2005",

}

TY - GEN

T1 - Designing a Flexible Kernel Providing VDM++ Support for Eclipse

AU - Nielsen, Jacob Porsborg

AU - Hansen, Jens Kielsgaard

AU - Bruun, Hans

AU - Haxthausen, Anne Elisabeth

PY - 2005

Y1 - 2005

KW - Eclipse

KW - VDM++

M3 - Article in proceedings

BT - Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK

T2 - International Symposium of Formal Methods Europe

Y2 - 18 July 2005 through 22 July 2005

ER -