User: Guest  Login
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