Wednesday, 30 January 2019

New top story on Hacker News: Building a “Simple” Distributed System – Formal Verification

Building a “Simple” Distributed System – Formal Verification
136 by pron | 6 comments on Hacker News.


Previous Post
Next Post

post written by:

0 comments: