Qinxiang Cao - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Sun 26 Jun 2016

Name: Qinxiang Cao

Country: China

Affiliation: Shanghai Jiao Tong University

Personal website: http://jhc.sjtu.edu.cn/people/members/faculty/qinxiang-cao.html

Contributions

CoqPL 2019	Author of Deep Embedded Hoare Logic for Building Machine-Checkable Foundational Program Correctness Proofs within the CoqPL-track Session Chair of Contributed Talks 3 & Coq Developers (part of CoqPL)
Show activities from other conferences