Model Checking: From Hardware To Software And Back Again 講者Edmund M. Clarke (Carnegie Mellon University)邀請人:王柏堯老師 時間2007-06-06 (Wed.) 10:00 ~ 12:00 地點本所新館106演講廳