JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs

Ouvrages Année : 2021

(1) , (2, 3)

1
2
3

Yann Regis-Gianas

Nomadic Labs

Chantal Keller

Laboratoire Méthodes Formelles

Université Paris-Saclay

Logique en informatique [cs.LO] Langage de programmation [cs.PL] Théorie et langage formel [cs.FL]

Fichier principal

proceedings-jfla-2021.pdf (8.1 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-03190426

Soumis le : mercredi 7 avril 2021-16:04:37

Dernière modification le : vendredi 24 mars 2023-14:53:21

hal-03190426 , version 1 (06-04-2021)

hal-03190426 , version 2 (07-04-2021)

Yann Regis-Gianas, Chantal Keller (Dir.). JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs. 2021. ⟨hal-03190426v2⟩

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

587 Consultations

390 Téléchargements