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