Conference
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
Authors
Fiadeiro JL; Sernadas C; Maibaum TSE; Saake G
Editors
Meersman R; Kent W; Khosla S
Pagination
pp. 243-284
Publisher
North-Holland
Publication Date
January 1, 1990
ISBN-10
0-444-88929-9
Conference proceedings
DS-4