The Case Against Formal Verification, 50 Years Later

1 hour ago 1

Article URL: https://ivan-gavran.github.io/0-social-processes-paper

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

Points: 6

# Comments: 1

Read Entire Article