Next:
The ASSERT statement
Up:
Our Phase II
Previous:
Styles of Assertions
Types of Assertions
The ASSERT statement
The PRE_CONDITION and POST_CONDITION Statements
The INVARIANT Statement
Roger Gima
Tue Jan 20 16:43:17 EST 1998
