TY  - BOOK
AU  - N
AU  - Farrouki
AU  - Kahina
AU  - Harrati
TI  - Application de SPIN/Promela pour la Vérification formelle de diagrammes de séquence UML
PY  - 2013///
ER  -