Registered user since Tue 1 Nov 2016
Name: Dominic P. Mulligan
Affiliation: University of Cambridge
Contributions
SPLASH 2017 | Verifying Strong Eventual Consistency in Distributed Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2017-profile
View general profile
View general profile