CSE216: Formal Methods - Spring 2022

Instructors and Assistants

• Daniel Fremont (dfremont)

Course Webpage:

https://canvas.ucsc.edu/courses/53321

As the instructor of this course you can add your link to Canvas here.