from Hacker News

Proving practical distributed systems correct

by timclark on 10/15/15, 8:25 AM with 0 comments