TY  - BOOK
AU  - Arous
AU  - Mokdad
AU  - Saidi
AU  - Hanene-Bendjeddou
AU  - Mabrouka
TI  - La verification formelle des diagrammes d'interaction UML 0,2
PY  - 2013///
ER  -