ETAPS 2019 (series) / Dan Ghica

Registered user since Tue 17 Jan 2017
Name:Dan Ghica
Country:United Kingdom
Affiliation:University of Birmingham
Personal website:http://www.cs.bham.ac.uk/~drg/
Research interests:Programming languages
Contributions
GaLoP 2019 | Committee Member in Steering Committee within the GaLoP-track | ||||||||||||||||||||||||||||||||||||||||
PERR 2019 | Local Reasoning for Robust Observational Equivalence | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile