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 matched #ncpunrq score:2.4 Search by: conv:#ncpunrq author:www.lord-enki.net@www.lord-enki.net