Hacker News new | ask | show | jobs
Introductory Lecture on Verification in Whiley (whiley.org)
1 points by redjamjar 3929 days ago