报告题目：Verification of Concurrent Programs:
Decidability, Complexity, Reductions
主讲人: Ahmed Bouajjani 教授
开始时间: 2013-10-30 10:30——11:30
报告地点: 中北校区数学馆201
华东师范大学beat365手机中文官方网站学院地址：上海中山北路3663号理科大楼
上海市浦东新区楠木路111号院长信箱：yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550 Copyright Software Engineering Institute
