A Notation for Combining Formal Reasoning, Object Orientation and Openness

Résumé : no abstract
Liste complète des métadonnées

https://hal.inria.fr/inria-00550385
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : lundi 27 décembre 2010 - 15:34:27
Dernière modification le : vendredi 16 septembre 2016 - 15:13:58

Identifiants

  • HAL Id : inria-00550385, version 1

Collections

Citation

Olaf Owe, Isabelle Ryl. A Notation for Combining Formal Reasoning, Object Orientation and Openness. [Technical Report] 1999. 〈inria-00550385〉

Partager

Métriques

Consultations de la notice

14