Federico Mora - ASE 2020

Write a Blog >>

Mon 21 - Fri 25 September 2020 Melbourne, Australia

Registered user since Wed 20 Sep 2023

Name:Federico Mora

Affiliation:University of California, Berkeley

Contributions

2020

ASE

Scaling Client-Specific Equivalence Checking via Impact Boundary Search

Show activities from other conferences

ASE 2020-profile
View general profile