|
Search the dblp DataBase
Clyde Ruby:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] FMCO, 2002, pp:262-284 [Conf]
- Clyde Ruby, Gary T. Leavens
Safely creating correct subclasses without seeing superclass code. [Citation Graph (0, 0)][DBLP] OOPSLA, 2000, pp:208-228 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:55, n:1-3, pp:185-208 [Journal]
Search in 0.001secs, Finished in 0.001secs
|