| Author | Title | Outlet | DOI |
|---|---|---|---|
| Oskar Hovmøller Dinesen, Christian Gram Kalhauge | Semantically Descriptive Similarity | 6th International FLoC Workshop on Program Equivalence and Relational Reasoning (PERR’2006) |
Pre-project publications
| Author | Title | Outlet | DOI |
|---|---|---|---|
| D. Russo et al. | Generative AI in software engineering must be human-centered: The Copenhagen Manifesto | ||
| Author | |||
| Journal of Systems and Software | https://doi.org/10.1016/j.jss.2024.112115 |
Deliverables