Type systems for specifications languages

  • Damm, Flemming M. (PhD Student)
  • Bruun, Hans (Main Supervisor)
  • Hansen, Bo Stig (Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/02/1991 → 03/11/1994

    Funding

    • DTU stipendium