A Notation for Combining Formal Reasoning, Object Orientation and Openness
Résumé
no abstract
Rapport
(Rapport Technique)
Année : 1999
Isabelle Simplot-Ryl : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00550385
Soumis le : lundi 27 décembre 2010-15:34:27
Dernière modification le : jeudi 19 octobre 2023-14:22:31
Dates et versions
Identifiants
- HAL Id : inria-00550385 , version 1
Citer
Olaf Owe, Isabelle Ryl. A Notation for Combining Formal Reasoning, Object Orientation and Openness. [Technical Report] 1999. ⟨inria-00550385⟩
Collections
23
Consultations
0
Téléchargements