Alessandro Abate - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

StocHy: automated verification and synthesis of stochastic processes

Show activities from other conferences

ETAPS 2019-profile
View general profile