Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net) 8 points by paxos_failure 8y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 8.9 ms ] threadNo comments yet.