Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hwayne
on May 8, 2019
|
parent
|
favorite
| on:
Modeling Adversaries with TLA+
I got the terms from _Software Requirements and Specifications_, which is a fun, if fluffy and meandering, read. I only skimmed the paper you linked but it seems to be a more thorough treatment than the book was.
https://www.amazon.com/Software-Requirements-Specifications-...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://www.amazon.com/Software-Requirements-Specifications-...