Citation:
Nada Amin and Tiark Rompf. 2017. “LMS-verify: Abstraction without regret for verified systems programming.” In 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’17).
lms-verify.pdf | 267 KB |
lms-verify.pdf | 267 KB |