Gary T. Leavens. JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping. In Ryan Stansifer, Andreas Krall, editors, Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015. pages 1, ACM, 2015. [doi]
Abstract is missing.