Verifying Concurrent Programs Using Contracts (2017) [pdf]

Comments

from Hacker News https://ift.tt/2D8Eapm
via

Comments

Popular posts from this blog