2 ms·Just started on Understanding Formal Methods by Jean-Francois Monin.by rramadass 5y agoJust started on Understanding Formal Methods by Jean-Francois Monin.