Modular specification and verification of closures in Rust (draft paper)

Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers
[Google Scholar] [DBLP] [Citeseer]

2021