Nicolas Nalpon, Célia Picard, Cyril Allignol, Sébastien Leriche. Vers la vérification de SMALA, un langage réactif interactif.
AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France.
⟨hal-02916890⟩