
Registered user since Wed 21 Oct 2015
Name:Carla Ferreira
Affiliation:Universidade Nova Lisboa
Contributions
POPL 2016 | 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile