Formal Methods in Industry (Z, B and Event-B): an Historical Perspective
- 講者Jean-Raymond Abrial 博士 (Independent Consultant, Marseille, France)
邀請人:莊庭瑞老師 - 時間2010-08-23 (Mon.) 11:00 ~ 12:00
- 地點本所新館106演講廳
您的瀏覽器不支援JavaScript語法,網站的部份功能在JavaScript沒有啟用的狀態下無法正常使用。