Nada Amin, Tiark Rompf
LMS-Verify: abstraction without regret for verified systems programming
POPL, 2017.
@inproceedings{POPL-2017-AminR17a,
author = "Nada Amin and Tiark Rompf",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "859--873",
publisher = "{ACM}",
title = "{LMS-Verify: abstraction without regret for verified systems programming}",
year = 2017,
}