Title | Proof-Theoretic Semantics of Object-Oriented Specification Constructs |
Publication Type | Conference Proceedings |
Year of Conference | 1991 |
Authors | Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake |
Conference Name | Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)) |
Pagination | 243-284 |
Publisher | North-Holland |
Abstract | no |
Public | no |