Leavens, Gary T.
Leavens, Gary Todd
Gary T. Leavens American computer scientist
VIAF ID: 7618936 ( Personal )
Permalink: http://viaf.org/viaf/7618936
Preferred Forms
- 100 0 _ ‡a Gary T. Leavens ‡c American computer scientist
-
- 200 _ | ‡a Leavens ‡b Gary T.
-
- 100 1 _ ‡a Leavens, Gary T.
- 100 1 _ ‡a Leavens, Gary T.
-
- 100 1 _ ‡a Leavens, Gary T.
- 100 1 _ ‡a Leavens, Gary T.
-
-
-
- 100 1 _ ‡a Leavens, Gary Todd
4xx's: Alternate Name Forms (8)
5xx's: Related Names (7)
- 510 2 _ ‡a Iowa State University
- 510 2 _ ‡a Iowa State University ‡e Affiliation
- 510 2 _ ‡a Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science
- 510 2 _ ‡a SpringerLink (Online service)
- 510 2 _ ‡a University of Central Florida
- 510 2 _ ‡a University of Central Florida ‡e Affiliation
- 510 2 _ ‡a VSTTE 2010 (2010 : Edinburgh, Scotland)
Works
Title | Sources |
---|---|
Formal Techniques for Java Programs | |
Foundations of component-based systems | |
A specification language design for the Java Modeling Language (JML) using Java 5 annotations | |
Transactions on aspect-oriented software development nine | |
Transactions on modularity and composition. | |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings |