Curry On Talk: The Practice and Theory of TLA+

pron.github.io

saved by: 0 people
related read on: Correctness — the paradigm for sustainable software devel... from the discussion