Filters
CSE 814 taught by Laura K Dillon (Course & Instructor) - Grade Details
(with breakdown by semester)
Course Title: Computer Aided Verification
Course Description: Formal specification languages, integrating verification with development. Design and the implementation of term project.
Fall 2011
Average Grade - 3.591
Median Grade - 4.0