conf.researchr.org / Jiahong Jiang
Not registered as user yet
Name:Jiahong Jiang
Contributions
| VMCAI 2017 | Author of Block-wise abstract interpretation by combining abstract domains with SMT within the VMCAI-track |
Not registered as user yet
Contributions
| VMCAI 2017 | Author of Block-wise abstract interpretation by combining abstract domains with SMT within the VMCAI-track |