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 | VyPR2: A Framework for Runtime Verification of Python Web Services | ||||||||||||||||||||||||||||||||||||||||
| TACAS 2019 | VyPR2: A Framework for Runtime Verification of Python Web Services | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile