90 followers
Towards a Proof Framework for Information Systems with Weak Consistency by P.Zeller & A.Poetzsch-Heffter https://t.co/Bb1kX8hGum #sefm16
Towards a Proof Framework for Information Systems with Weak Consistency by P.Zeller & A.Poetzsch-Heffter https://t.co/Bb1kX8hGum #sefm16