Not registered as user yet

Name: Giuliano Losa

Affiliation: University of California at Los Angeles, USA

Contributions

POPL 2018 Reducing Liveness to Safety in First-Order Logic
Reducing Liveness to Safety in First-Order Logic
Show activities from other conferences

POPL 2018-profile
View general profile