Adrian Colyer's review of "An Empirical Study on the Correctness of Formally Verified Distributed Systems" covered in The Morning Paper https://blog.acolyer.or

Adrian Colyer's review of "An Empirical Study on the Correctness of Formally Verified Distributed Systems" covered in The Morning Paper https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ https://blog.acolyer.org/2017/05/29/an-empirical-study-on-th... Thank me later :)