Sanchez-Stern, Alex, First, Emily, Zhou, Timothy, Kaufman, Zhanna, Brun, Yuriy, Ringer, Talia. Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst., 45(2), jun 2023. [doi]
@article{10.1145-3593374,
title = {Passport: Improving Automated Formal Verification Using Identifiers},
author = {Sanchez-Stern, Alex and First, Emily and Zhou, Timothy and Kaufman, Zhanna and Brun, Yuriy and Ringer, Talia},
year = {2023},
month = {jun},
doi = {10.1145/3593374},
url = {https://doi.org/10.1145/3593374},
researchr = {https://researchr.org/publication/10.1145-3593374},
cites = {0},
citedby = {0},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {45},
number = {2},
}