ETAPS 2019 (series) / Alessandro Abate
Not registered as user yet
Name:Alessandro Abate
Country:United Kingdom
Affiliation:University of Oxford
Personal website:https://www.cs.ox.ac.uk/people/alessandro.abate/
Contributions
| HSB 2019 | Committee Member in Program Committee within the HSB-track | ||||||||||||||||||||||||||||||||||||||||
| TACAS 2019 | StocHy: automated verification and synthesis of stochastic processes | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile