ETAPS 2019 (series) / Joshua Dawes
Registered user since Thu 31 Jan 2019
Name:Joshua Dawes
Bio:
See my website, http://cern.ch/jdawes.
Country:Switzerland
Affiliation:University of Manchester and CERN
Personal website: http://cern.ch/jdawes
Research interests:Runtime Verification
Contributions
ETAPS 2019-profile
View general profile
View general profile