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