Difference between revisions of "Specifying Systems"

Revision as of 14:39, 28 June 2021

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

Revision as of 14:33, 28 June 2021 (view source) Benkoo (talk \| contribs) ← Older edit		Revision as of 14:39, 28 June 2021 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	[~~https~~:~~//lamport.azurewebsites.net/tla/book.html~~ Specifying Systems~~] is a book by [[Leslie Lamport~~]].		{{cite book \|last=Lamport \|first=Leslie \|title=[[Category:Specifying Systems]] \|publisher=[[Microsoft Research]] \|date=2020}}

	[[~~Category:Book~~]]