ICFP/SPLASH 2025 (series) / Enrico Magnago
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
Using general profile