Hacker News new | ask | show | jobs
Behind the Scenes: Sleeping soundly with the help of TLA+ (blogs.oracle.com)
1 points by kmt-lnh 1374 days ago