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