DMCA

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
Citations:125 - 39 self