3:00 - 3:30pm
Symposium
Systematic Design of Adequately Consistent Distributed Systems?
A. Bouajjani
3:00 - 3:30pm