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