Published April 28, 2023
| Version v2
Software
Open
Artifact for "Ownership guided C to Rust translation"
- 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".
Files
artifact.zip
Files
(2.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1fab80379b73e6c2aeda7cf7f3480e43
|
2.7 GB | Preview Download |