Gary T. Leavens
From Wikipedia, the free encyclopedia
 |
This April 2009 relies on references to primary sources. (April 2009) |
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 [edit]
- ^ Gary T. Leavens's Home Page: http://www.eecs.ucf.edu/~leavens/
