Gary T. Leavens

From Wikipedia, the free encyclopedia

Gary T. Leavens^[1] is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best known work is on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University.

He is also the Program Chair for 2009 OOPSLA.

References

↑ Gary T. Leavens's Home Page: http://www.eecs.ucf.edu/~leavens/

Persondata
Name	Leavens, Gary T.
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.