Hacker News new | ask | show | jobs
Neat Demo of Software Verification (youtube.com)
1 points by redjamjar 3240 days ago