Camilla Østerberg Rump

Camilla Østerberg Rump

    Medlem af:

    • Universitetspædagogik


    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 tidsskriftTidsskriftartikelfagfællebedømt

    ID: 13662