( en | de | ru )

 

Disambiguierung von "Mikhajlova, Anna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Class Refinement as Semantics of Correct Object Substitutability.

, , und . Formal Aspects Comput., 12 (1): 18-40 (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

John A Anna Selva

 

Weitere Publikationen von Autoren mit dem selben Namen

Consistent Extension of Components in Presence of Explicit Invariants.. ECOOP Workshops, Volume 1543 von Lecture Notes in Computer Science, Seite 138-140. Springer, (1998)Specifying Java Frameworks Using Abstract Programs.. TOOLS (30), Seite 136-. IEEE Computer Society, (1999)Consistent Extension of Components in the Presence of Explicit Invariants.. TOOLS (29), Seite 76-85. IEEE Computer Society, (1999)Reasoning About Interactive Systems., , und . World Congress on Formal Methods, Volume 1709 von Lecture Notes in Computer Science, Seite 1460-1476. Springer, (1999)Reasoning about Object Clients and Distributed Object Interaction.. ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 10. Springer, (1999)Class Refinement as Semantics of Correct Object Substitutability., , und . Formal Aspects Comput., 12 (1): 18-40 (2000)Proving Isomorphism of First-Order Logic Proof Systems in HOL., und . TPHOLs, Volume 1479 von Lecture Notes in Computer Science, Seite 295-314. Springer, (1998)