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
Table of Contents
This document was generated
by leavens on January, 11 2006
using texi2html