Crash-tolerant data storage: Formally verified working file system could end data loss http://bit.ly/1KHXBhG pic.twitter.com/iFEbUmqrMb
5:00 PM - 24 Aug 2015
0 replies
2 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.