Camilla Østerberg Rump
- 1999
- Published
Proving Refinement Using Transduction. / Jonsson, Bengt; Pnueli, Amir; Rump, Camilla Østerberg.
In: Distributed Computing, Vol. 12, No. 2-3, 1999, p. 129-149.Publication: Research - peer-review › Journal article – Annual report year: 1999
- Published
The Use of Basic Knowledge in Engineering Work. / Clemmensen, Torkil; Petersen, Stig Andur; Jørgensen, Ulrik; Jakobsen, Arne; Rump, Camilla Østerberg.
In: Working paper, 1999.Publication: Research - peer-review › Journal article – Annual report year: 2000
- 1996
- Published
Evalueringsrapport for kurset 3621 Reaktorlære : Forår 1996. / Clemmensen, Torkil; Rump, Camilla Østerberg; Jakobsen, Arne; May, Michael; Mohr-Larsen, Charlotte.
1996. 49 p.Publication: Research - peer-review › Report – Annual report year: 1996
- Published
Evalueringsrapport for kurset 4305 funktionsprogrammering : Efterår 1995. / Rump, Camilla Østerberg; Clemmensen, Torkil; Jakobsen, Arne; May, Michael; Mohr-Larsen, Charlotte.
1996.Publication: Research - peer-review › Report – Annual report year: 1996
- Published
Evalueringsrapport for kurset 4356 Oversætterteknik : Efterår 1995. / Clemmensen, Torkil; Rump, Camilla Østerberg; Jakobsen, Arne; May, Michael; Mohr-Larsen, Charlotte.
1996. 42 p.Publication: Research - peer-review › Report – Annual report year: 1996
- 1991
- Published
A Systematic Kernel Development. / Søgaard-Andersen, Jørgen F.; Rump, Camilla Østerberg; Løvengreen, Hans Henrik.
ACM Software Engineering Notes. Vol. Vol. 16, No. 5. ACM Press, 1991. p. 55-65.Publication: Research - peer-review › Article in proceedings – Annual report year: 1991
- Published
Base System Verification. / Gammelgaard, Anders; Løvengreen, Hans Henrik; Rump, Camilla Østerberg; Søgaard-Andersen, Jørgen F.
Department of Computer Science, Technical University of Denmark, 1991.Publication: Research - peer-review › Report – Annual report year: 1991