The Course Addresses Updated Results and Current Research Directions In Formal Verification Methods.

Faculty: Computer Science
|Graduate Studies