Difference between revisions of "Specifying Systems"

Revision as of 14:40, 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:40, 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}}		{{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}}~~