Fingerprint
Dive into the research topics of 'Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Zhengyao Lin, Xiaohong Chen, Minh Thai Trinh, John Wang, Grigore Roşu
Research output: Contribution to journal › Article › peer-review