Browse by Subject: SOCIAL AND BEHAVIORAL SCIENCES

• (Top Level)
• Computer Applications
• SOCIAL AND BEHAVIORAL SCIENCES (1)

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2006) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06-rev29, Computer Science, Iowa State University.