Hacker News new | ask | show | jobs
by RNeff 2171 days ago
Program verification. How to design and implement correct programs.