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

ID: 13662