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

演讲人：

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

幻灯下载：
*Apply Program Model Checking

现场图片：

声音记录（注意－－和文字记录是互补的，不是重复）：
*mp3文件emule下载(77M)
*emule软件

文字记录：