SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Federico Mora

Registered user since Wed 20 Sep 2023

Name:Federico Mora
Affiliation:University of California, Berkeley
Research interests:Automated Reasoning, Programming Languages, and Formal Methods

Contributions

Show activities from other conferences

Using general profile