L
ina
Y
e
E-Mails 📧
lina.ye@lri.fr
Entries
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