SPLASH 2017 (series) / Dominic P. Mulligan
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