Special Topics in Computer Science (396-0-3)
Topic
Proving Properties of Programs with Mechanized Log
Instructors
Robert Findler
Meeting Info
Annenberg Hall G15: Mon, Wed, Fri 11:00AM - 11:50AM
Overview of class
Contact the department for further information
Enrollment Requirements
Enrollment Requirements: Prerequisites: COMP_SCI 321 or CS PhDs or Permission of Instructor