Registered user since Mon 5 Nov 2018
Name:Victor B. F. Gomes
Affiliation:University of Cambridge, UK
Contributions
| SPLASH 2017 | Verifying Strong Eventual Consistency in Distributed Systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2017-profile
View general profile
View general profile