L
ina
Y
e
E-Mails 📧
rf
.
irl
@
ey
.
anil
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