Frederik Krogsdal Jacobsen – Projects — Welcome to DTU Research Database

View Scopus Profile

Emailfkjacdtudk
Websitehttp://people.compute.dtu.dk/fkjac/

Richard Petersens Plads, 322, 021
2800 Kgs. Lyngby
Denmark

If you made any changes in Pure these will be visible here soon.

1 results

Filter

Active
User-Friendly Formal Methods
Jacobsen, F. K., Villadsen, J. & Scalas, A.
01/07/2021 → 30/06/2024
Project: PhD