Netlog, Part 2: Proving Netlog Programs 講者Jean-Francois Monin 博士 (LIAMA/Formes)邀請人:莊庭瑞老師 時間2010-12-21 (Tue.) 15:00 ~ 16:00 地點本所新館107演講廳