| 000 | 00461 a2200145 4500 | ||
|---|---|---|---|
| 003 | DZ-ElOued | ||
| 005 | 20260602170950.0 | ||
| 100 | 1 | _aGHERAISSA, Tarek | |
| 700 | 1 | _aLEMMOUCHI, Nacer-Eddine | |
| 700 | 1 | _aMessoud, Abbas | |
| 245 | 0 | 0 | _aTransformation of OCL Constraints to FoCaLiZe Specifications |
| 260 |
_b _c2016 |
||
| 650 | 4 | _a/Transformation//of//OCL//Constraints//to//FoCaLiZe//Specifications/ | |
| 942 | _cTHESIS | ||
| 999 |
_c15179 _d15179 |
||