|
|
|
|
|
|
by bediger4000
1184 days ago
|
|
|
Does not seem to have Gerard Holzman's Design and Validation of Computer Protocols, which seems like a big oversight. Sure, a lot of it is devoted to talking about Spin verifier, but there's an awful lot of really good stuff in it. |
|
|