Raphaëlle Crubillé
发表
Ugo Dal Lago,
Raphaëlle Crubillé,
2020
.
S. Kremer,
Raphaëlle Crubillé,
Vincent Cheval,
2022
.
G. Barthe,
Francesco Gavazzo,
U. Dal Lago,
2022,
Proc. ACM Program. Lang..
Ugo Dal Lago,
G. Barthe,
Francesco,
2020
.
Ugo Dal Lago,
Raphaëlle Crubillé,
Raphaëlle Crubillé,
2017,
ArXiv.
Ugo Dal Lago,
Davide Sangiorgi,
Valeria Vignudelli,
2015,
Correct System Design.
Ugo Dal Lago,
Raphaëlle Crubillé,
Raphaëlle Crubillé,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Ugo Dal Lago,
Raphaëlle Crubillé,
Raphaëlle Crubillé,
2015,
ArXiv.
Ugo Dal Lago,
Raphaëlle Crubillé,
Raphaëlle Crubillé,
2014,
ESOP.
Ugo Dal Lago,
G. Barthe,
Francesco,
2020
.
Ugo Dal Lago,
Boaz Barak,
Raphaëlle Crubillé,
2020,
ICALP.
Raphaëlle Crubillé,
Raphaëlle Crubillé,
2018,
LICS.
Raphaëlle Crubillé,
2018
.
Ugo Dal Lago,
Francesco Gavazzo,
Gilles Barthe,
2020,
ESOP.
Ugo Dal Lago,
G. Barthe,
Francesco Gavazzo,
2022,
Proc. ACM Program. Lang..
Raphaëlle Crubillé,
2018,
LICS.