Analyse de Bytecode par Raffinement
Domaines
Langage de programmation [cs.PL]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2017
Emmanuel Chailloux : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-01558732
Soumis le : mercredi 26 juillet 2023-23:58:41
Dernière modification le : vendredi 28 juillet 2023-03:55:24
Dates et versions
Identifiants
- HAL Id : hal-01558732 , version 1
Citer
Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux. Analyse de Bytecode par Raffinement. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France. ⟨hal-01558732⟩
Collections
294
Consultations
32
Téléchargements