研究团队

公司或组织

• 腾讯科恩实验室

研究人员

Patrick COUSOT

Slides

• A bstract Interpretation-based Formal Verification of Complex Computer Systems

Jan Midtgaard

• 个人主页

熊英飞

北京大学

• 个人主页