Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Qinxiang Cao

Registered user since Sun 26 Jun 2016

Name: Qinxiang Cao

Contributions

CoqPL 2019Author 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

Using general profile