Special Topics in Computer Science (396-0-1)
Topic
Proving Properties of Programs with Mechanized Log
Instructors
Robert Findler
Meeting Info
Technological Institute LG72: Mon, Wed, Fri 11:00AM - 11:50AM
Overview of class
Contact the department for further information
Enrollment Requirements
Enrollment Requirements: Prerequisites: To enroll undergraduates must have completed CS 212 and CS 321, or CS Masters students must have completed CS 321, or CS PhDs can enroll or Instructor permission.