Verus - Verified Rust for low-level systems code by Andrea Lattuada - Rust Zürisee June 2023 | Rust Programming Language | Podwise