Camilla Østerberg Rump

Camilla Østerberg Rump

    Member of:

    • University Science Education


    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