Specifikation og verifikation af modulære parallelprogrammer

  • Sørensen, Morten U. (PhD Student)
  • Løvengreen, Hans Henrik (Main Supervisor)
  • Hansen, Bo Stig (Examiner)
  • Liu, Zhiming (Examiner)

    Project Details

    StatusFinished
    Effective start/end date01/09/199309/09/1997