Camilla Østerberg Rump

Camilla Østerberg Rump

    Medlem af:

    ORCID: 0000-0003-1286-7421

    Udgivelsesår:
    Alle
    61 - 64 ud af 64Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1999
    2. Udgivet

      Proving refinement using transduction

      Rump, Camilla Østerberg, Jonsson, B. & Pnueli, A., maj 1999, I: Distributed Computing. s. 129-149

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. 1996
    4. Udgivet

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

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

      Publikation: Working paper › Forskning

    5. Udgivet

      Evalueringsrapport. 4305 Funktionsprogrammering. Efterår 1995

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

      Publikation: Working paper › Forskning

    6. Udgivet

      Evalueringsrapport. 4356 Oversætterteknik. Efterår 1995

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

      Publikation: Working paper › Forskning

    Forrige 1...3 4 5 6 7 Næste

    ID: 13662