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
Benoît Ballenghien
,
Safouan Taha
,
Burkhart Wolff
and
Lina Ye
Apr 26