• Sign in
  • Sign up
conf.researchr.org / Alessandro Abate
  • ETAPS 2019 profile
Alessandro Abate

Not registered as user

Name:Alessandro Abate
Country:United Kingdom
Affiliation:University of Oxford
Personal website: https://www.cs.ox.ac.uk/people/alessandro.abate/

Contributions

2019

HSB

  • Committee Member in Program Committee within the HSB-track

TACAS

  • Author of StocHy: automated verification and synthesis of stochastic processes within the TACAS 2019-track
Share
xThu 5 Nov 21:49
using conf.researchr.org (v1.76.1)
Support page
Sign Up