Safouan Taha
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Benoît Ballenghien, Safouan Taha, Burkhart Wolff
- Paolo Crisafulli, Safouan Taha, Burkhart Wolff
- Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas SabouretBelief Revision Theory. Arch. Formal Proofs 2021 (2021)
- Safouan Taha, Burkhart Wolff, Lina YeThe HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020)
- Safouan Taha, Burkhart Wolff, Lina Ye
- Safouan Taha, Lina Ye, Burkhart WolffHOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019)
- Bilal Kanso, Safouan Taha
- Bilal Kanso, Safouan Taha
- Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser