New Trends in Testing and Verification
New Trends in Testing and Verification
Srinivas Devadas, MIT, Cambridge
Kurt Keutzer, AT&T Bell Laboratories
A. Richard Newton, Univ. of Calif., Berkeley
Next slide
Back to the first slide
View Graphic Version