Not registered as user yet
Name:Faris Abou-Saleh
Affiliation:University of Oxford
Contributions
| PPS 2016 | Reasoning about Probability and Nondeterminism | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile