Skip to main content

Gary T. Leavens

September 3, 2019
  Gary T. Leavens Professor Ph.D., Electrical Engineering & Computer Science Massachusetts Institute of Technology, 1989 Email Phone Office HEC-329 Phone (407) 823-4758 E-mail Homepage Research page ARGIS Research Research Interests Formal Methods in Software Engineering Specification of OO software components Design of JML (see Theory of behavioral subtyping and specification inheritance.…