!!Projects per year
Projekter
- 1 Igangværende
-
Graph-based Verification of Reflective Programs
Kamburjan, E. (PI) & Shafique, S. (CoI)
01/11/2025 → 31/10/2029
Projekter: Projekt › Forskning
Kamburjan, E. (PI) & Shafique, S. (CoI)
01/11/2025 → 31/10/2029
Projekter: Projekt › Forskning