Skip to Main content Skip to Navigation
Reports

Synthesizing B Substitutions for EB3 Attribute Definitions

Abstract : no abstract
Complete list of metadatas

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 : Friday, October 4, 2019 - 1:20:45 AM

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

52