JML: A Notation for Detailed Design
by Gary T. Leavens, Albert L. Baker, and Clyde Ruby
Department of Computer Science, Iowa State University,
226 Atanasoff Hall, Ames, Iowa, 50011-1041 USA
Copyright (c) Kluwer Academic Publishers, 1999. Used by permission.
Table of Contents
This document was generated
by Gary Leavens on March, 16 2009