时间：2004年10月28日（周四）晚上19:00-21:00

演讲人：

钱岭（钱五哥）。贝尔实验室高级研究员。

幻灯下载：
*Apply Program Model Checking

现场图片：

声音记录（和文字记录是互补的，不是重复）：
*网盘下载(77M)
*ed2k下载(77M)

文字记录：