Difference between revisions of "PKC Workflow/System Verification by TLA+/Criteria"

Revision as of 00:47, 14 August 2021

Revision as of 00:47, 14 August 2021 (view source) Benkoo (talk \| contribs) (Created page with "The specified property are determined.")		Revision as of 00:47, 14 August 2021 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	The [[specified property]] are determined.		The [[specified property\|specified properties]] are determined.