Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock. Teaching Rigorous Distributed Systems With Efficient Model Checking. In George Candea, Robbert van Renesse, Christof Fetzer, editors, Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019. ACM, 2019. [doi]
No reviews for this publication, yet.