Vytautas Astrauskas, Peter Müller 0001, Federico Poli, Alexander J. Summers
Leveraging rust types for modular specification and verification
OOPSLA, 2019.
@article{OOPSLA-2019-Astrauskas0PS,
author = "Vytautas Astrauskas and Peter Müller 0001 and Federico Poli and Alexander J. Summers",
doi = "10.1145/3360573",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "30",
publisher = "{ACM}",
title = "{Leveraging rust types for modular specification and verification}",
volume = 3,
year = 2019,
}