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



This document was generated on 14 April 2003 using texi2html 1.56k.