Speaker Deck

Vector Clocks in Coq: An Experience Report

by Christopher Meiklejohn

Published March 6, 2014 in Programming

Erlang Factory; San Francisco 2014