Camilla Østerberg Rump

Camilla Østerberg Rump

Gæsteforsker

Medlem af:

  • Universitetspædagogik


  1. Udgivet

    Proving refinement using transduction

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

ID: 13662