Gary T. Leavens

Model variables: cleanly supporting abstraction in design by contract

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman et al. · Software Practice and Experience · 2005 · 120 citations

Computing, Computer Engineering, Computer Science +13

JML (poster session)

Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino et al. · 2000 · 78 citations · Full text

Computing, Computer Science, Formal Methods +16

Reasoning about object-oriented programs that use subtypes

Gary T. Leavens, William E. Weihl · 1990 · 62 citations · Full text

Computing, Computer Science, Formal Methods +16

Executing Formal Specifications with Concurrent Constraint Programming

Tim Wahls, Gary T. Leavens, Albert L. Baker · Automated Software Engineering · 2000 · 21 citations

Computing, Computer Science, Formal Methods +12

Formal techniques for Java-like programs

Susan Eisenbach, Gary T. Leavens, Péter Müller et al. · Radboud Repository (Radboud University) · 2003 · 10 citations · Full text

Computing, Computer Science, Formal Methods +13