Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (35)

Communication dans un congrès 14/03/2024

Vassil Todorov , Frederic Boulanger , Safouan Taha

Communication dans un congrès 12/02/2024

Hai Nguyen Van , Thibaut Balabonski , Burkhart Wolff , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye

Communication dans un congrès 14/02/2023

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frederic Boulanger , Safouan Taha

Communication dans un congrès 14/02/2023

Bilal Kanso , Safouan Taha

Article dans une revue 14/02/2023

Bilal Kanso , Safouan Taha