@<www.lord-enki.net https://www.lord-enki.net/twtxt.txt> "An empirical study on the correctness of formally verified distributed systems | the morning paper "

www.lord-enki.net @www.lord-enki.net

Fri, 2 Jun 2017 16:46 Z (7 years ago)

An empirical study on the correctness of formally verified distributed systems | the morning paper https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/

#ncpunrq

This is twtxt search engine and crawler. Please contact Support if you have any questions, concerns or feedback!