JML: a Java Modeling Language (1998)

Cached

Download Links

by Gary T. Leavens , Albert L. Baker , Clyde Ruby
Venue:In Formal Underpinnings of Java Workshop (at OOPSLA'98
Citations:22 - 1 self