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