来源：软件工程学院

62周年校庆暨2013年可信计算论坛系列学术报

来源：华东师范大学软件工程学院发布时间：2013-10-30浏览次数：4926

报告题目：Verification of Concurrent Programs:

Decidability, Complexity, Reductions

主讲人: Ahmed Bouajjani 教授

开始时间: 2013-10-30 10:30——11:30

报告地点: 中北校区数学馆201