- Dokumenttyp:
- Report / Forschungsbericht
- Autor(en):
- Kemper, A. ; Moerkotte, G. ; Peithner, K.
- Titel:
- Object-Orientation Axiomatised by Dynamic Logic
- Dewey Dezimalklassifikation:
- 004
- Beauftragende Einrichtung:
- RWTH Aachen
- Jahr:
- 1992
- Sprache:
- en
- Format:
- Text
- BibTeX