System Specification, Verification, and Synthesis

4 Hours

Prerequisite(s): CS 3000 with a minimum grade of D-