2006 |
4 | EE | Gary T. Leavens,
Albert L. Baker,
Clyde Ruby:
Preliminary design of JML: a behavioral interface specification language for java.
ACM SIGSOFT Software Engineering Notes 31(3): 1-38 (2006) |
2005 |
3 | EE | Gary T. Leavens,
Yoonsik Cheon,
Curtis Clifton,
Clyde Ruby,
David R. Cok:
How the design of JML accommodates both runtime assertion checking and formal verification.
Sci. Comput. Program. 55(1-3): 185-208 (2005) |
2002 |
2 | EE | Gary T. Leavens,
Yoonsik Cheon,
Curtis Clifton,
Clyde Ruby,
David R. Cok:
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.
FMCO 2002: 262-284 |
2000 |
1 | EE | Clyde Ruby,
Gary T. Leavens:
Safely creating correct subclasses without seeing superclass code.
OOPSLA 2000: 208-228 |