CSE
CSE
CSE CSE


Defense Event

Automatic Formal Verification of Control Logic in Hardware Designs

Zaher S. Andraus


 
Thursday, April 30, 2009
2:00pm - 4:00pm
1005 EECS

Add to Google Calendar

Additional Information

Sponsor(s): Karem A. Sakallah

Open to: Limited