User-Friendly Formal Methods

  • Jacobsen, Frederik Krogsdal (PhD Student)
  • Villadsen, Jørgen (Main Supervisor)
  • Scalas, Alceste (Supervisor)
  • Peters, Kirstin Barbara (Examiner)
  • Traytel, Dmitriy (Examiner)

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

Keyphrases

Computer Science