- This event has passed.
System Debugging and Verification: A New Challenge
November 20, 2003 @ 3:00 pm - 4:00 pm PST
Presented by Professor Daniel Gajski and Samar Abdi, University of California, Irvine
Verify 2003
November 20, 2003
download pdf