Peter Csaba Ölveczky. Design and Validation of Cloud Storage Systems Using Formal Methods. In Mohammad Reza Mousavi, Jirí Sgall, editors, Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Volume 10608 of Lecture Notes in Computer Science, pages 3-8, Springer, 2017. [doi]
Abstract is missing.