Skip to Main content

Researcher identifiers

Production year

Export Publications

Export the displayed publications:
Number of documents

2

CV Célia Picard


Cyril Allignol   

Conference papers2 documents

  • Cécile Marcon, Nicolas Nalpon, Cyril Allignol, Célia Picard. Représentation de programmes SMALA grâce à la théorie des bigraphes. AFADL, Jun 2021, En ligne, France. ⟨hal-03457039⟩
  • 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⟩