formal-methods-amazon.pdf

lamport.azurewebsites.net

saved by: 0 people
related read on: Learn TLA+ from the discussion

Why Don't People Use Formal Methods? from the discussion

The System Design Primer from the discussion