Third Rust Verification Workshop
(RW2023)

Sun, April 23, 2023
co-located with ETAPS 2023, Paris, France