Paper of LightKone accepted at ESOP 2020

The paper “Proving the safety of highly-available distributed objects” was accepted at ESOP 2020. The paper was written by our partners from UPMC and the conference will take place in Dublin, Ireland, between 25 and 30 April.