Denis, Xavier
- A Hybrid Approach to Semi-automated Rust Verification
2024/03/22 by Sacha-Élie Ayoun, Xavier Denis, Ayoun, Sacha-Élie +5 · 2 voices · 4 citations
Computer Science · Engineering · Materials Science · #Electromagnetic Compatibility and Noise Suppression #FOS: Computer and information sciences #Metallurgy and Material Science #Programming Languages (cs.PL) #cs.PL