Sergey, I;
Wilcox, JR;
Tatlock, Z;
(2018)
Programming and Proving with Distributed Protocols.
In:
Proceedings of the Programming and Proving with Distributed Protocols - 2017.
(pp. p. 28).
ACM: New York, USA.