Forcing Behavioral Subtyping Through Speci cation Inheritance (1996)

by Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Krishna Kishore Dhara, Gary T. Leavens
Venue:Proceedings of the 18th International Conference on Software Engineering