Forcing behavioral subtyping through specification inheritance (1996)

by Krishna Kishore Dhara , Krishna Kishore Dhara , Gary T. Leavens , Gary T. Leavens
Venue:In Proceedings of the 18th International Conference on Software Engineering
Citations:127 - 37 self