The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for... This description may be from another edition of this product.