Ns500:Specifying Systems

From PKC
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"