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