A Systematic Kernel Development

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

Original language	English
Title of host publication	ACM Software Engineering Notes
Volume	Vol. 16, No. 5.
Publisher	ACM Press
Publication date	1991
Pages	55-65
Publication status	Published - 1991
Event	ACM SIGSOFT '91 Conference on Software for Critical Systems - New Orleans, United States Duration: 4 Dec 1991 → 6 Dec 1991

Conference	ACM SIGSOFT '91 Conference on Software for Critical Systems
Country/Territory	United States
City	New Orleans
Period	04/12/1991 → 06/12/1991

OpenUrl availability

@inproceedings{17739171517346efa66757c2f22542d6,

title = "A Systematic Kernel Development",

author = "S{\o}gaard-Andersen, \{J{\o}rgen F.\} and Rump, \{Camilla {\O}sterberg\} and L{\o}vengreen, \{Hans Henrik\}",

year = "1991",

language = "English",

volume = "Vol. 16, No. 5.",

pages = "55--65",

booktitle = "ACM Software Engineering Notes",

publisher = "ACM Press",

note = "ACM SIGSOFT '91 Conference on Software for Critical Systems ; Conference date: 04-12-1991 Through 06-12-1991",

}

TY - GEN

T1 - A Systematic Kernel Development

AU - Søgaard-Andersen, Jørgen F.

AU - Rump, Camilla Østerberg

AU - Løvengreen, Hans Henrik

PY - 1991

Y1 - 1991

M3 - Article in proceedings

VL - Vol. 16, No. 5.

SP - 55

EP - 65

BT - ACM Software Engineering Notes

PB - ACM Press

T2 - ACM SIGSOFT '91 Conference on Software for Critical Systems

Y2 - 4 December 1991 through 6 December 1991

ER -