r/programming discussion of this paper here: http://www.reddit.com/r/programming... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pja on July 3, 2014 | parent | context | favorite | on: Formal Methods in Building Robust Distributed Syst...

r/programming discussion of this paper here: http://www.reddit.com/r/programming/comments/277fbh/use_of_f...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact