ETAPS 2019 (series) / Luca Cardelli
Registered user since Thu 22 Oct 2015
Name:Luca Cardelli
Country:United Kingdom
Affiliation:Microsoft Research and University of Oxford
Personal website: http://lucacardelli.name/
Contributions
ETAPS 2019-profile
View general profile
View general profile