Forcing Behavioral Subtyping Through Specification Inheritance (1997)

by Krishna Kishore Dhara , Gary T. Leavens
Citations:116 - 34 self