Analyse de Bytecode par Raffinement - Sorbonne Université
Conference Papers Year : 2017

Analyse de Bytecode par Raffinement

Fichier principal
Vignette du fichier
afadl2017_article_court.pdf (209.61 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-01558732 , version 1

Cite

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⟩
294 View
32 Download

Share

More