Hacker News new | ask | show | jobs
The Architecture of Verification in Whiley (whiley.org)
1 points by redjamjar 4747 days ago