Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy. A verified, efficient embedding of a verifiable assembly language. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.