ETAPS 2019 (series) / Deian Stefan
![Deian Stefan](https://conf.researchr.org/getProfileImage/deianstefan/30f9d31c-9e5e-40a7-be7d-835f3c83b441/small.jpg?1711492951000)
Registered user since Mon 4 Sep 2017
Name:Deian Stefan
Affiliation:University of California San Diego
Personal website: https://cseweb.ucsd.edu/~dstefan/
Contributions
ETAPS 2019-profile
View general profile
View general profile