Hacker News new | ask | show | jobs
by rramadass 1861 days ago
Just started on Understanding Formal Methods by Jean-Francois Monin.