World Wide News
Thursday, 8 November 2018
New top story on Hacker News: Verifying Concurrent Programs Using Contracts (2017) [pdf]
Verifying Concurrent Programs Using Contracts (2017) [pdf]
33 by adamnemecek |
1 comments
on Hacker News.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment