Skip to main content

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.