Specifying Systems

From PKC
Revision as of 14:40, 28 June 2021 by Benkoo (talk | contribs)
Jump to navigation Jump to search

Lamport, Leslie (2020). '. Microsoft Research. 



{{{Author}}}, {{{Name}}}, {{{Publisher}}}, {{{Year}}},


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