Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (30)

Communication dans un congrès 14/03/2024

Vassil Todorov , Frederic Boulanger , Safouan Taha

Communication dans un congrès 14/03/2024

Frederic Boulanger , Dominique Marcadet , Martin Rayrole , Benoit Valiron , Safouan Taha

Communication dans un congrès 12/02/2024

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

Article dans une revue 09/02/2024

Safouan Taha , Jacques Julliand , Frédéric Dadeau , Kalou Castillos , Bilal Kanso

Communication dans un congrès 11/09/2023

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha

Communication dans un congrès 13/04/2023

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha

Communication dans un congrès 13/04/2023

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha

Communication dans un congrès 14/02/2023

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

Article dans une revue 14/02/2023

Bilal Kanso , Safouan Taha

Communication dans un congrès 14/02/2023

Bilal Kanso , Safouan Taha