Gary T. Leavens - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA.Shail Arora, Gary T. Leavens, editors, 2009.
Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlanda, FL, USAGary T. Leavens, editor, ACM, New York, NY, USA, 2009.

1998

Protective Interface SpecificationsGary T. Leavens, Jeannette M. Wing. fac, 10(1):59-75, 1998.

1997

Protective Interface SpecificationsGary T. Leavens, Jeannette M. Wing. tapsoft 1997: 520-534