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/1993 → 09/09/1997

    Funding

    • DTU stipendium