Difference between revisions of "Specifying Systems"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{cite book |last=Lamport |first=Leslie |title=[[Category:Specifying Systems]] |publisher=[[Microsoft Research]] |date=2020}} | {{cite book |last=Lamport |first=Leslie |title=[[Category:Specifying Systems]] |publisher=[[Microsoft Research]] |date=2020}} | ||
{{Book |last=Lamport |first=Leslie |title=[[Category:Specifying Systems]] |publisher=[[Microsoft Research]] |date=2020}} | |||
Revision as of 14:40, 28 June 2021
Lamport, Leslie (2020). '. Microsoft Research.
{{{Author}}},
{{{Name}}},
{{{Publisher}}},
{{{Year}}},