AbstractSpecification/Goal
Jump to navigation
Jump to search
An imperative statement that servers as a unique identifier that specifies the end result under given context.
An imperative statement that servers as a unique identifier that specifies the end result under given context.