Verifying Concurrent Programs Using Contracts (2017) [pdf]

Article URL: http://www.fit.vutbr.cz/~vojnar/Publications/icst17-contracts.pdf

Comments URL: https://news.ycombinator.com/item?id=18403244

Points: 33

# Comments: 1

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