User-Friendly Formal Methods

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

1 Ph.D. thesis

1 results

Filter

2024
User-Friendly Formal Methods: Towards user-friendly proof mechanization
Jacobsen, F. K., 2024, Technical University of Denmark. 150 p.
Research output: Book/Report › Ph.D. thesis

Open Access
File
45 Downloads (Orbit)