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