62周年校庆暨2013年可信计算论坛系列学术报
发布时间：2013-10-30
报告题目：Verification of Concurrent Programs:
Decidability, Complexity, Reductions
主讲人: Ahmed Bouajjani 教授
开始时间: 2013-10-30 10:30——11:30
报告地点: 中北校区数学馆201
快速通道:
