Preliminary Design of JML:

A Behavioral Interface Specification Language for Java

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

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

Table of Contents

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