Difference between revisions of "Specifying Systems"

Revision as of 14:42, 28 June 2021

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

Revision as of 14:40, 28 June 2021 (view source) Benkoo (talk \| contribs) ← Older edit		Revision as of 14:42, 28 June 2021 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	{{cite book \|last=Lamport \|first=Leslie \|title=[[Category:Specifying Systems]] \|publisher=[[Microsoft Research]] \|date=2020}}		<noinclude>{{cite book \|last=Lamport \|first=Leslie \|title=[[Category:Specifying Systems]] \|publisher=[[Microsoft Research]] \|date=2020}}</noinclude>
			{{Book\|Author=[[Leslie Lamport]]\|Name=[[Category:Specifying Systems]]\|Publisher=[[Microsoft Research]]\|Year=2020}}