GT Leavens, AL Baker, C Ruby

ACM SIGSOFT Software Engineering Notes 31 (3), 1-38, 2006

L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...

International Journal on Software Tools for Technology Transfer (STTT) 7 (3 …, 2005

G Leavens, A Baker, C Ruby

KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999

Y Cheon, GT Leavens

ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002

C Clifton, GT Leavens, C Chambers, T Millstein

Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000

VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov

Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013

P Chalin, J Kiniry, G Leavens, E Poll

Formal Methods for Components and Objects, 342-363, 2006

L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ...

Electronic Notes in Theoretical Computer Science 80, 75-91, 2003

GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...

KK Dhara, GT Leavens

Proceedings of IEEE 18th International Conference on Software Engineering …, 1996

G Leavens, Y Cheon, C Clifton, C Ruby, D Cok

Formal Methods for Components and Objects, 262-284, 2003

GT Leavens, Y Cheon

SH Tan, D Marinov, L Tan, GT Leavens

2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012

GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs

Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000

J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson

A survey paper CS-TR-09-01, University of Central Florida, School of EECS, Draft, 2009

GT Leavens, M Sitaraman

Cambridge University Press, 2000

Y Cheon, G Leavens

P Müller, A Poetzsch-Heffter, GT Leavens

Science of Computer Programming 62 (3), 253-286, 2006

GT Leavens, KRM Leino, P Müller

Formal Aspects of Computing 19 (2), 159-189, 2007

K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ...

Theory and Practice of Object Systems 1 (3), 221-242, 1995