Proving Properties of Programs with Mechanized Logic (320-0-1)
Instructors
Robby Findler
Meeting Info
Technological Institute L361: Tues, Thurs 11:00AM - 12:20PM
Overview of class
Contact the department for further information
Enrollment Requirements
Enrollment Requirements: Prerequisite: Students must have completed COMP_SCI 212 and 321, be a MS CS Student and have completed 321, or be a CS PhD student to enroll.