Conference
Forcing Behavioral Subtyping through Specification Inheritance.
Authors
Dhara KK; Leavens GT
Editors
Rombach HD; Maibaum TSE; Zelkowitz MV
Pagination
pp. 258-267
Publisher
IEEE Computer Society
Publication Date
January 1, 1996
ISBN-10
0-8186-7246-3
Conference proceedings
ICSE