Safouan Taha

E-Mails 📧

• rf.irl@ahat.nauofas

Entries

2021

Belief Revision Theory

by Valentin Fouillard 📧, Safouan Taha 📧, Frédéric Boulanger 📧 and Nicolas Sabouret

Oct 19

2020

The HOL-CSP Refinement Toolkit

by Safouan Taha 📧, Burkhart Wolff 🌐 and Lina Ye 📧

Nov 19

2019

HOL-CSP Version 2.0

by Safouan Taha 📧, Lina Ye 📧 and Burkhart Wolff 📧

Apr 26