The Assertions Approach

Printed with permission from Morgan Kaufmann, a division of Elsevier. Copyright 2005. For more information on this book and other…