The following pages link to JML (Q16768):
Displaying 5 items.
- Verification, Model Checking, and Abstract Interpretation (Q5898626) (← links)
- Programming Languages and Systems (Q5899012) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902541) (← links)
- A case study in class library verification: Java's vector class (Q5953451) (← links)
- Modular specification and verification of object-oriented programs (Q5960651) (← links)