Extended support for borrowing and lifetimes in Prusti

Lorenz Gorse
[Google Scholar] [DBLP] [Citeseer]

Masters thesis
Programming Methodology Group, Institute for Programming Languages and Systems, ETH Zürich
Zürich
October 2020
Note(s): Rust language, Prusti verifier