Simple Verification of Rust Programs via Functional Purification (2016) [pdf] | Heykuki News