Ns500:Specifying Systems

From PKC

Revision as of 09:25, 18 July 2021 by imported>Benkoo (Benkoo moved page Cite:Specifying Systems to BOOK:Specifying Systems)

(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=40525"