RustBelt: Computer Scientist proves safety claims of Rust programming languageeurekalert.org28 pointslsllc5 years ago