Camilla Østerberg Rump

Camilla Østerberg Rump


  1. 1999
  2. Published

    Proving refinement using transduction

    Rump, Camilla Østerberg, Jonsson, B. & Pnueli, A., May 1999, In: Distributed Computing. p. 129-149

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. 1996
  4. Published

    Evalueringsrapport. 3621 Reaktorlære. Forår 1996.

    Clemmensen, T., Rump, Camilla Østerberg, Jakobsen, A., May, M. & Mohr-Larsen, C., 1996.

    Research output: Working paperResearch

  5. Published

    Evalueringsrapport. 4305 Funktionsprogrammering. Efterår 1995

    Rump, Camilla Østerberg, Clemmensen, T., Jakobsen, A., May, M. & Mohr-Larsen, C., 1996.

    Research output: Working paperResearch

  6. Published

    Evalueringsrapport. 4356 Oversætterteknik. Efterår 1995

    Clemmensen, T., Rump, Camilla Østerberg, Jakobsen, A., May, M. & Mohr-Larsen, C., 1996.

    Research output: Working paperResearch

Previous 1...3 4 5 6 7 Next

ID: 13662