
Registered user since Sat 11 Jun 2016
Name:Alexandra Silva
Country:United Kingdom
Affiliation:University College London
Personal website:http://www.alexandrasilva.org/
Contributions
ICFP 2021 | SIGPLAN CARES ProbNV: Probabilistic Verification of Network Control Planes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile