2 ms·The Human Factors of Formal Methods – Shriram Krishnamurthi – Stanford Seminar [video]2 points by matt_d 3y ago