- Document type:
- Report / Forschungsbericht
- Author(s):
- Kemper, A. ; Moerkotte, G. ; Peithner, K.
- Title:
- Object-Orientation Axiomatised by Dynamic Logic
- Dewey Decimal Classification:
- 004
- Contracting organization:
- RWTH Aachen
- Year:
- 1992
- Language:
- en
- Format:
- Text
- BibTeX