中央研究院 資訊科學研究所

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

Formal Methods in Industry (Z, B and Event-B): an Historical Perspective

:::

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演講廳