Hacker News new | ask | show | jobs
Formal Methods Let You Explore the Corners (2016) (johndcook.com)
3 points by gavinhoward 378 days ago