Ns500:Specifying Systems

From PKC
Revision as of 09:28, 18 July 2021 by imported>Benkoo
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Lamport, Leslie (26 January 2020). Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers. Microsoft Research. 


Retrieved from "https://pkc.pub/index.php?title=Ns500:Specifying_Systems&oldid=40527"