No Panic! Verification of Rust Programs by Symbolic Execution. - Marcus Lindner; Jorge Aparicius; Per Lindgren (INDIN, 2018)