Baptiste Pollien
发表
X. Thirioux,
C. Garion,
G. Hattenberger,
2023,
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE).
Pierre Roux,
Gautier Hattenberger,
Xavier Thirioux,
2021,
FMICS.
Baptiste Pollien,
2021
.