KRust: A formal executable semantics of Rust
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang[doi] [Google Scholar] [DBLP] [Citeseer]
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Volume
Pages 44-51
Aug 2018
Topic(s): verification
Note(s): Rust language
Volume
Pages 44-51
Aug 2018
Topic(s): verification
Note(s): Rust language