Hacker News new | ask | show | jobs
by SubjectToChange 464 days ago
Software Foundations is quite a comprehensive series on program verification.