Format/Paper

2024-12-19 - [2412.15042] Compiling C to Safe Rust, Formalized: Abstract page for arXiv paper 2412.15042: Compiling C to Safe Rust, Formalized
2024-12-19 - PDF link