Not registered as user yet

Name:Zhanna Kaufman
Affiliation:University of Massachusetts

Contributions

PLDI 2023 Passport: Improving Automated Formal Verification Using Identifiers
Show activities from other conferences

Using general profile