Registered user since Thu 31 Jan 2019
Name: Joshua Dawes
Bio: See my website, http://cern.ch/jdawes.
Affiliation: University of Manchester and CERN
Personal website: http://cern.ch/jdawes
Research interests: Runtime Verification
|TACAS 2019||Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track|
|Show activities from other conferences|