On the Design of a Web Browser: Lessons learned from Operating Systems Kapil Singh and Wenke Lee Georgia Institute of Technology Web 2.0 Security and Privacy.
CS 290C: Formal Models for Web Software Lecture 10: WebAlloy: Website Modeling, Analysis and Synthesis with Alloy Instructor: Tevfik Bultan.
CS 290C: Formal Models for Web Software Lecture 17: WebAlloy: Website Modeling, Analysis and Synthesis with Alloy Instructor: Tevfik Bultan.