About us
Define
Definitions for
"Postconditions"
A set of conditions controlling whether it is possible to leave a state.
w3.org