Skip to main navigation Skip to search Skip to main content

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs

Matthew Britton, Sasha Pak, Alex Potanin

Research output: Working paper › Preprint

Fingerprint

Dive into the research topics of 'Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs'. Together they form a unique fingerprint.
Sort by

Computer Science