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.


[Top] [Contents] [Index] [ ? ]

Table of Contents



This document was generated by Gary Leavens on March, 16 2009 using texi2html