Verification of Object-Oriented Software. The KeY Approach: ...
Preview
Gary T. Leavens and Krishna Kishore Dhara. Concepts of behavioral subtyp- ing and a sketch of their extension to component-based systems. In Gary T. Leavens and Murali Sitaraman, editors, Foundations of Component-Based Systems, ...