TY  - RPRT
TI  - RustHorn: CHC-based Verification for Rust Programs (full version)
AU  - Yusuke Matsushita
AU  - Takeshi Tsukada
AU  - Naoki Kobayashi
PY  - 2020
DO  - 10.1007/978-3-030-44914-8_18
UR  - https://arxiv.org/abs/2002.09002
ID  - 2002.09002
ER  -