Hacker News new | ask | show | jobs
Dimensions in program verification (bugcounting.net)
1 points by haches 4289 days ago