Computer-Aided Verification of Electronic Circuits and Systems

Click here to get to the webpage of this course in Spring 2007