Ryan Doenges, James R. Wilcox, Doug Woos, Zachary Tatlock, and Karl Palmskog. Verification of implementations of distributed systems under churn. In 3rd International Workshop on Coq for Programming Languages, CoqPL '17. ACM, 2017.

bib ] Back


This file was generated by bibtex2html 1.98.