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