Verifying Rust Programs with SMACK.

Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Browse the full ATVA paper archive.