🧑🔬 Yuriy Brun — papers of 2022 — 1 paper, the most cited first1 paper · all years of Yuriy BrunPassport: Improving Automated Formal Verification Using IdentifiersarXiv:2204.10370 (ACM Transactions on Programming Languages and Systems (TOPLAS), 45(2):12:1-12:30, June 2023)Alex Sanchez-Stern, Emily First, Timothy Zhou, et al.2022 · 35 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/yuriy-brun/year/2022/