Skip to Main content Skip to Navigation
Reports

Synthesizing B Substitutions for EB3 Attribute Definitions

Abstract : no abstract
Document type :
Reports
Complete list of metadata

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, February 10, 2021 - 12:30:02 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

61