Verifying Concurrent Programs Using Contracts (2017) [pdf]
33 by adamnemecek | 1 comments on Hacker News.
New top story on Hacker News: Verifying Concurrent Programs Using Contracts (2017) [pdf]
Related Posts
Former Dean, Boss to Convicted Gymnastics Doctor, Is Arrested
Maryland School Gunman Confronted by Officer Shot Himself, Authorities Say
Video Shows Unarmed Texas Man With Pants Down Before Fatal Police Shooting
Quotation of the Day: Woman, 85, Who Eluded Nazi Purge, Found Slain
Austin Bombing Suspect’s Housemate Called a Person of Interest
0 comments: