ETAPS 2019 (series) / Joshua Dawes
![Joshua Dawes](https://conf.researchr.org/getProfileImage/joshuadawes/d7912d2e-d21e-4676-badd-c39b97690906/small.jpg?1718213620000)
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