Forcing Behavioral Subtyping through Specification Inheritance.

Krishna Kishore Dhara, Gary T. Leavens

Browse the full ICSE paper archive.