Accompanying artefact for "What does it take to certify conversion?"
Artefact described in the article “What does it take to certify conversion?”, to be published at FSCD 2025.
Authors
- Meven Lennon-Bertrand (ORCID: https://orcid.org/0000-0002-7079-8826)
Institutions
- University of Cambridge (GB)
Publication Details
- Journal
- ArXiv.org
- Published
- 2025-01-01
- DOI
- https://doi.org/10.4230/lipics.fscd.2025.27
- Citations
- 5
- Primary Topic
- Software Testing and Debugging Techniques
- Type
- article
- Field-Weighted Citation Impact
- 11.54
Funders
- European Commission
- Horizon 2020 Framework Programme