( en | de | ru )

 

Disambiguation of "Leavens, Gary T."

Author of the publication

copydeleteadd this publication to your clipboard
An overview of JML tools and applications.

, , , , , , , and . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Gary

Klaus Gary

Regina Gary

Bente Gary

Max Gary

 

Other publications of authors with the same name

Modular Specification and Verification of Object-Oriented Programs.. IEEE Software, 8 (4): 72-80 (1991)Special issue: formal techniques for Java programs., and . Concurr. Comput. Pract. Exp., 13 (13): 1121-1123 (2001)Challenge benchmarks for verification of real-time programs: (abstract only)., , , , and . ACM SIGPLAN Notices, 44 (11): 7-8 (2009)Introduction to the literature on object-oriented design, programming, and languages.. OOPS Messenger, 2 (4): 40-53 (1991)Verily: a web framework for creating more reasonable web applications., and . ICSE Companion, page 560-563. ACM, (2014)Abstraction in Deductive Verification: Model Fields and Model Methods., and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 29-44. Springer, (2022)The Java Modeling Language (JML) (NII Shonan Meeting 2013-3)., , and . NII Shonan Meet. Rep., (2013)Be Realistic: Automated Program Repair is a Combination of Undecidable Problems., and . APR@ICSE, page 31-32. IEEE, (2022)Behavioral Subtyping, Specification Inheritance, and Modular Reasoning., and . ACM Trans. Program. Lang. Syst., 37 (4): 13:1-13:88 (2015)Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study., , , , , and . Sci. Comput. Program., 78 (8): 1137-1156 (2013)