Model Checking: From Hardware To Software And Back Again
- LecturerEdmund M. Clarke (Carnegie Mellon University)
Host: Dr. Bow-Yaw Wang - Time2007-06-06 (Wed.) 10:00 ~ 12:00
- LocationAuditorium 106 at new IIS Building
您的瀏覽器不支援JavaScript語法,網站的部份功能在JavaScript沒有啟用的狀態下無法正常使用。