Celia Picard

Documents

Identifiants chercheurs

Présentation

981599

cyril-allignol

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