Ns500:Specifying Systems

From PKC

Revision as of 09:22, 1 July 2021 by imported>Admin (Created page with "{{cite book |last=Lamport |first=Leslie |author-link=Leslie Lamport |date= |title=Specifying Systems |url= |location= |publisher=Microsoft Research |page= <!-- or pag...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Lamport, Leslie. Specifying Systems. Microsoft Research.

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