System Debugging and Verification: A New Challenge

Presented by Professor Daniel Gajski and Samar Abdi, University of California, Irvine
Verify 2003
November 20, 2003
download pdf