Projects per year
Search results
-
Active
User-Friendly Formal Methods
Jacobsen, F. K., Villadsen, J. & Scalas, A.
01/07/2021 → 30/06/2024
Project: PhD
Jørgen Villadsen
- Associate Professor, Department of Applied Mathematics and Computer Science
- Algorithms, Logic and Graphs
- Phone45253733
- Emailjovidtudk
- Websitehttp://people.compute.dtu.dk/jovi, https://people.compute.dtu.dk/jovi
Richard Petersens Plads, 322, 020
2800 Kgs. Lyngby
Denmark