stilkov’s avatarstilkov’s Twitter Archive—№ 19,273

  1. RT adriancolyer: A paper that has changed my world-view on what's practical/possible with formal verification of dist. systems: http://t.c…
    On twitter.com Twitter logo Retweet