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