Vector Clocks in Coq: An Experience Report

Vector Clocks in Coq: An Experience Report

Erlang Factory; San Francisco 2014

3e09fee7b359be847ed5fa48f524a3d3?s=128

Christopher Meiklejohn

March 06, 2014
Tweet