Formal Methods in Building Robust Distributed Systems

Comments



from Hacker News http://bit.ly/1rlDssK

via IFTTT