Difference between revisions of "Specifying Systems"

From PKC
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>
{{Book|Author=[[Leslie Lamport]]|Name=[[Specifying Systems]]|Publisher=[[Microsoft Research]]|Year=2020}}
{{Book|Author=[[Leslie Lamport]]|Name=[[Specifying Systems]]|Publisher=[[Microsoft Research]]|Year=2020}}

Revision as of 14:43, 28 June 2021