PSW 2382 Automatically Proving That Computer Programs Do What They are Supposed to Do October 8, 2018 by admin PSW 2382 Automatically Proving That Computer Programs Do What They are Supposed to Do Byron Cook https://www.youtube.com/watch?v=eJ88cIDUNXY
