Towards a User Interface Description Language Based on Bigraphs. - Nicolas Nalpon; Cyril Allignol; Célia Picard (ICTAC, 2022)

Vers la vérification des langages de description d'interface utilisateur. (Towards the verification of user interface description languages). - Nicolas Nalpon (2023)