The Case Against Formal Verification, 50 Years Later

Read post on hnrss.org

Article URL: https://ivan-gavran.github.io/0-social-processes-paperComments URL: https://news.ycombinator.com/item?id=49323459Points: 22# Comments: 9