Public Records found for gary leavens

gary leavens Address History
gary leavens Contact Information
gary leavens Email Address
gary leavens View More Details


  • No known persons


  • gary leavens at
    Weak Behavioral Subtyping for Types with Mutable Objects
    25 Sep 2004 . Gary Leavens, July 1991; T. Gary Leavens. Modular specification and verification of object-oriented programs. IEEE Software, 8 (4) (July 1991), .
  • gary leavens at
    Formal Techniques for Java Programs - Springer
    and Gary Leavens. Overall, the group's main theme was how to make specifications more useful in practice. The group started with a discussion of where .
  • gary leavens at
    Download PDF (100KB) - Springer
    Modularity Constructs in Programming Languages, edited by Klaus Ostermann and Gary Leavens. It focuses on modern programming language constructs for.
  • gary leavens at
    Download PDF - Springer
    Gary Leavens. Right. That's my fault. Peter Schmitt. And new features are added and added, but the manual is not updated in the same speed. So, what do you .


  • Gary Leavens
    University of Central Florida, Orlando, FL United States
  • Gary Leavens
    Iowa State University Ames, IA United States


  • No known videos


  • No known persons


  • Gary T. Leavens
    Gary T. Leavens, University of Central Florida, Department of Electrical Engineering & Computer Science, United States, Software Engineering,


  • No known persons


  • No known links