The Case Against Formal Verification, 50 Years Later
Article URL: https://ivan-gavran.github.io/0-social-processes-paper Comments URL: https://news.ycombinator.com/item?id=49323459 Points: 29 # Comments: 20
This is a summary aggregated from Hacker News. Read the complete article on the original site:
Read full article at Hacker News
