AbstractSpecification/Goal

From PKC
Revision as of 02:36, 30 October 2021 by Benkoo (talk | contribs) (Created page with "An imperative statement that servers as a unique identifier that specifies the end result under given context. <noinclude> Related Page...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

An imperative statement that servers as a unique identifier that specifies the end result under given context.

Template:AbstractSpecification