1.
, . Contributions à l’intégration de langages pour la spécification formelle et la vérification de systèmes complexes. [[S.l.]: [s.n.]; 2024.
et . Contributions à l’intégration de langages pour la spécification formelle et la vérification de systèmes complexes. [S.l.] : [s.n.], 30 avril 2024
Salaün Gwen & Oussalah Mourad-Chabane. (2003). Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes. [s.n.].
Style de citation MLA (8e éd.)Salaün Gwen et Oussalah Mourad-Chabane. Contributions à L'intégration De Langages Pour La Spécification Formelle Et La Vérification De Systèmes Complexes. [s.n.], 2003.
Attention : ces citations peuvent ne pas être correctes à 100%.