## E-Mails 📧

- rf.irl @ahat.nauofas

## Entries

### 2023

##### HOL-CSPM - Architectural operators for HOL-CSP

by Benoît Ballenghien 📧, Safouan Taha 📧 and Burkhart Wolff 📧
Dec 05

### 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