Jianhui Chen, Fei He 0001. Leveraging Control Flow Knowledge in SMT Solving of Program Verification. ACM Transactions on Software Engineering Methodology, 30(4), 2021. [doi]
@article{ChenH21-24,
title = {Leveraging Control Flow Knowledge in SMT Solving of Program Verification},
author = {Jianhui Chen and Fei He 0001},
year = {2021},
doi = {10.1145/3446211},
url = {https://doi.org/10.1145/3446211},
researchr = {https://researchr.org/publication/ChenH21-24},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {30},
number = {4},
}