talk
##### 學術演講公告 #####
主 題 : Model Checking: From Hardware To Software And Back Again
主 講 人 : Edmund M. Clarke
主講人單位 : Carnegie Mellon University
主講人email:
主講人電話 :
主講人 URL : http://www.cs.cmu.edu/~emc/
聯 絡 人 : 王柏堯老師, Dr. Bow-Yaw Wang
地 點 : 本所新館106演講廳, Auditorium 106 at new IIS Building
日 期 : 2007/6/6
星 期 : Wed
時 間 : 10:00~12:00
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.133.60
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：