next up previous
Next: Pre- and Post-Conditions Up: Definitions Previous: Definitions

Testing versus Proving


Steve Stevenson
Wed Feb 26 10:54:45 EST 1997