Toggle navigation
15-811: Verifying Complex Systems
Home
Syllabus
Schedule
Tools
Assignments
Projects
17sp
Lecture: Web Apps
Date: 4/19/17
Reading
Required reading:
From Network Interface to Multithreaded Web Applications
, Adam Chlipala,
POPL
, 2015.
Required reading:
Small Guide to Giving Presentations
, Markus Puschel,
online
, 2008.