OCL Contracts for the Verification of Model Transformations - Université de Pau et des Pays de l'Adour Access content directly
Journal Articles Electronic Communications of the EASST Year : 2009
No file

Dates and versions

hal-01906776 , version 1 (27-10-2018)

Identifiers

  • HAL Id : hal-01906776 , version 1

Cite

Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL Contracts for the Verification of Model Transformations. Electronic Communications of the EASST, 2009, 24. ⟨hal-01906776⟩

Collections

UNIV-PAU LIUPPA
49 View
0 Download

Share

Gmail Facebook X LinkedIn More