Synthesizing B Substitutions for EB3 Attribute Definitions

Abstract : no abstract
Type de document :
Rapport
[Research Report] 683, LACL, Université Paris-Est. 2004
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223281
Contributeur : Frédéric Gervais <>
Soumis le : lundi 2 novembre 2015 - 13:53:16
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-01223281, version 1

Collections

Citation

Frédéric Gervais, Marc Frappier, Régine Laleau. Synthesizing B Substitutions for EB3 Attribute Definitions. [Research Report] 683, LACL, Université Paris-Est. 2004. 〈hal-01223281〉

Partager

Métriques

Consultations de la notice

41