by Kissell, L.W., Smith, G.W., Leavens, T.L., Baynes, R.E., Wu, H., Riviere, J.E.
Published in Journal of dairy science (01.12.2012)

by Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.
Published in International journal on software tools for technology transfer (01.04.2018)

by LEAVENS, T. L, TELL, L. A, CLOTHIER, K. A, GRIFFITH, R. W, BAYNES, R. E, RIVIERE, J. E
Published in Journal of veterinary pharmacology and therapeutics (01.04.2012)

by WU, H., BAYNES, R. E., LEAVENS, T., TELL, L. A., RIVIERE, J. E.
Published in Journal of veterinary pharmacology and therapeutics (01.06.2013)

by LEAVENS, Gary T, RUSTAN, K, LEINO, M, MÜLLER, Peter
Published in Formal aspects of computing (01.06.2007)

by Khairunnesa, Samantha Syeda, Ahmed, Shibbir, Imtiaz, Sayem Mohammad, Rajan, Hridesh, Leavens, Gary T.
Published in Empirical software engineering : an international journal (01.11.2023)

by Chiba, Shigeru, Südholt, Mario, Eugster, Patrick, Ziarek, Lukasz, Leavens, Gary T
Year of Publication 2016

by CLOTHIER, K. A, LEAVENS, T, GRIFFITH, R. W, WETZLICH, S. E, BAYNES, R. E, RIVIERE, J. E, TELL, L. A
Published in Journal of veterinary pharmacology and therapeutics (01.10.2011)

by CLOTHIER, K. A, LEAVENS, T, GRIFFITH, R. W, WETZLICH, S. E, BAYNES, R. E, RIVIERE, J. E, TELL, L. A
Published in Journal of veterinary pharmacology and therapeutics (01.04.2012)

by Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.
Published in Science of computer programming (01.03.2005)

by Clifton, Curtis, Leavens, Gary T.
Published in Science of computer programming (01.12.2006)

by Bao, Yuyan, Leavens, Gary T., Ernst, Gidon
Published in Formal aspects of computing (01.08.2018)

by Rodríguez, Edwin, Dwyer, Matthew, Flanagan, Cormac, Hatcliff, John, Leavens, Gary T., Robby
Published in ECOOP 2005 - Object-Oriented Programming (2005)

by Leavens, Gary T., Naumann, David A.
Published in ACM transactions on programming languages and systems (01.08.2015)

by Nilizadeh, Amirfarhad, Calvo, Marlon, Leavens, Gary T., Le, Xuan-Bach D.
Published in 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2021)

by Chalin, Patrice, Kiniry, Joseph R., Leavens, Gary T., Poll, Erik
Published in Formal Methods for Components and Objects (2006)

by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik
Published in International journal on software tools for technology transfer (01.06.2005)

by Haddad, Ghaith, Leavens, Gary T.
Published in Concurrency and computation (01.11.2013)

by Medinsky, M A, Leavens, T L, Csanády, G A, Gargas, M L, Bond, J A
Published in Carcinogenesis (New York) (01.07.1994)

by Müller, Peter, Poetzsch-Heffter, Arnd, Leavens, Gary T.
Published in Concurrency and computation (01.02.2003)