Verifying Dynamic Trait Objects in Rust.

Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson

Browse the full ICSE paper archive.