PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Registered user since Thu 25 Jan 2024

Name:Enrico Magnago
Affiliation:Amazon Web Services
Personal website: https://enmag.github.io/
Research interests:Formal Verification, Symbolic Model Checking, SAT, SMT, LTL

Contributions

Show activities from other conferences

Using general profile