A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]

Comments

from Hacker News http://bit.ly/2R18iWK
via

Comments

Popular posts from this blog