Belief Revision Theory
by Valentin Fouillard, Safouan Taha, Frédéric Boulanger and Nicolas Sabouret
Safouan Taha
2021
2020
The HOL-CSP Refinement Toolkit
by Safouan Taha, Burkhart Wolff and Lina Ye
2019
HOL-CSP Version 2.0
by Safouan Taha, Lina Ye and Burkhart Wolff