Not registered as user yet

Name: Giuliano Losa

Affiliation: University of California at Los Angeles, USA

Contributions

PLDI 2018 Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Show activities from other conferences

PLDI 2018-profile
View general profile