What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]

• Posted 5 hours ago by matt_d
• 2 points