Ilya Sergey, James R. Wilcox, and Zachary Tatlock. Programming and proving with distributed protocols. In 45th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '18. ACM, 2018.

bib | paper ] Back


This file was generated by bibtex2html 1.98.