A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. - Pascal Béger; Sébastien Leriche; Daniel Prun (FM Workshops (1), 2019)

Vérification formelle des propriétés graphiques des systèmes informatiques interactifs. (Formal verification of graphical properties of interactive systems). - Pascal Béger (2020)

Formal Verification of Graphical Properties of Interactive Systems. - Daniel Prun; Pascal Béger (Proc. ACM Hum. Comput. Interact., 2022)