Published April 28, 2023
| Version v2
Software
Open
Artifact for "Ownership guided C to Rust translation"
Authors/Creators
- 1. University of Bristol
- 2. The Open University
Description
This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership guided C to Rust translation".