000 00449nam0a22002051i 4500
001 50060
090 _a50060
100 _a20240205 frey50
101 0 _afre
102 _cFR
200 1 _aLa verification formelle des diagrammes d'interaction UML 0,2
210 _d2013
700 0 _aArous
702 0 _aMokdad
702 0 _aSaidi
702 0 _aHanene-Bendjeddou
702 0 _aMabrouka
852 _jM/IN/11/2013
942 _cTH
950 _a3