rramadass on Ask HN: Technical Summer Reading List · Hackerly

Comment on Ask HN: Technical Summer Reading List

Just started on Understanding Formal Methods by Jean-Francois Monin.