Foroushaani, Nima Rahimi
- Modular Formal Verification of Rust Programs with Unsafe Blocks
2022/12/26 by Nima Rahimi Foroushaani, Bart Jacobs, Foroushaani, Nima Rahimi +1 · 1 voice · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Parallel Computing and Optimization Techniques #Formal Methods in Verification