Synthesizing B Substitutions for EB3 Attribute Definitions

Abstract : no abstract
Document type :
Reports
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223281
Contributor : Frédéric Gervais <>
Submitted on : Monday, November 2, 2015 - 1:53:16 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM

Identifiers

  • 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〉

Share

Metrics

Record views

43