Deductive program verification for a language with a Rust-like typing discipline type [Internship report]

Xavier Denis
[Google Scholar] [DBLP] [Citeseer] [url]

Report
Université de Paris
September 2020
Note(s): Rust language