Analyse de Bytecode par Raffinement - Sorbonne Université
Communication Dans Un Congrès Année : 2017

Analyse de Bytecode par Raffinement

Fichier principal
Vignette du fichier
afadl2017_article_court.pdf (209.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01558732 , version 1 (26-07-2023)

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⟩
309 Consultations
38 Téléchargements

Partager

More