Hacker News new | ask | show | jobs
A real-world case of property-based verification (ochagavia.nl)
1 points by wofo 66 days ago