Forcing Behavioral Subtyping Through Specification Inheritance (1997)

by Krishna Kishore Dhara , Gary T. Leavens
Citations:117 - 35 self