Registered user since Wed 21 Oct 2015
Name: Carla Ferreira
Affiliation: Universidade Nova Lisboa
Contributions
| OPCT 2019 | Author of IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases within the OPCT 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile