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