15:00 à 15:30
Colloque
Systematic Design of Adequately Consistent Distributed Systems?
A. Bouajjani
15:00 à 15:30