TY  - RPRT
TI  - KRust: A Formal Executable Semantics of Rust
AU  - Feng Wang
AU  - Fu Song
AU  - Min Zhang
AU  - Xiaoran Zhu
AU  - Jun Zhang
PY  - 2018
UR  - https://arxiv.org/abs/1804.10806
ID  - 1804.10806
ER  -