Form¿l verifikation med boolske udtryksdiagrammer

  • Williams, Poul Frederick (PhD Student)
  • Andersen, Henrik Reif (Main Supervisor)
  • Hulgaard, Henrik (Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/09/1997 → 17/04/2001

    Funding

    • DTU stipendium