Pascal Béger, Valentin Becquet, Sébastien Leriche, Daniel Prun. Contribution à la formalisation des propriétés graphiques des systèmes interactifs pour la validation automatique.
Afadl 2019, 18èmes journées Approches Formelles dans l’Assistance au Developpement de Logiciels, Jun 2019, Toulouse, France.
⟨hal-02165690⟩