Leveraging Rust Types for Modular Specification and Verification [pdf]pm.inf.ethz.ch1 pointmatt_d7 years ago