Shriram Krishnamurthi: Verification of web programs (Dan Friedman's 60th Birthday)
Channel: William Byrd
Date: 2014-03-24

Shriram Krishnamurthi: Verification of web programs

http://www.cs.indiana.edu/dfried_celebration.html

Recorded 10:00 am, Saturday, December 4th, 2004.