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

 (youtube.com)

2 points | by matt_d 13 hours ago ago

No comments yet.