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]
No references recorded for this publication.
No citations of this publication recorded.