CS 246: Software Verification


      
Spring 2021
Instructor: Prof. Mohsen Lesani
TA: TBA
We will use ucr ilearn.

Syllabus