Camilla Østerberg Rump

  1. 1999
  2. 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-reviewJournal article – Annual report year: 1999

  3. 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-reviewJournal article – Annual report year: 2000

  4. 1996
  5. Published
  6. Published
  7. Published
  8. 1991
  9. 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-reviewArticle in proceedings – Annual report year: 1991

  10. 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-reviewReport – Annual report year: 1991

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word