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/199103/11/1994