Authors: Eisenbach, S Leavens, GT

Citation: S. Eisenbach et Gt. Leavens, Special issue: Formal techniques for Java programs, CONCURR COM, 13(13), 2001, pp. 1121-1123

Authors: Clifton, C Leavens, GT Chambers, C Millstein, T

Citation: C. Clifton et al., MultiJava: Modular open classes and symmetric multiple dispatch for Java, ACM SIGPL N, 35(10), 2000, pp. 130-145

Authors: Ruby, C Leavens, GT

Citation: C. Ruby et Gt. Leavens, Safely creating correct subclasses without seeing superclass code, ACM SIGPL N, 35(10), 2000, pp. 208-228

Authors: Leavens, GT Pigozzi, D

Citation: Gt. Leavens et D. Pigozzi, A complete algebraic characterization of behavioral subtyping, ACT INFORM, 36(8), 2000, pp. 617-663

Authors: Leavens, GT Baker, AL Ruby, C

Citation: Gt. Leavens et al., JML: A notation for detailed design, KLUW ENGN C, 523, 1999, pp. 175-188