Hacker News new | ask | show | jobs
Generating Verification Conditions for Whiley (whiley.org)
1 points by redjamjar 4947 days ago