@misc{indiciaef7fb717e810c,
  title = {KRust: A Formal Executable Semantics of Rust},
  author = {Feng Wang and Fu Song and Min Zhang and Xiaoran Zhu and Jun Zhang},
  year = {2018},
  url = {https://arxiv.org/abs/1804.10806},
  note = {Source identifier: 1804.10806}
}