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.