.gif)
Proof-Theoretic Semantics of Object-Oriented Specification Constructs
| 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 |