🧑🔬 Emily First — papers of 2022 — 1 paper, the most cited first1 paper · all years of Emily FirstPassport: 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/emily-first/year/2022/