Une sémantique mécanisée d'un langage FRP avec effets
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-05135592
Soumis le : lundi 30 juin 2025-09:51:14
Dernière modification le : jeudi 19 février 2026-16:33:42
Archivage à long terme le : mercredi 1 octobre 2025-18:18:16