Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gary T. Leavens
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
ACM SIGPLAN Notices
Computer Science
Lessons From the JML Project
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Frame Properties in JML
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
Reasoning About Object-Oriented Programs That Use Subtypes
