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