Skip to Main content Skip to Navigation
Conference papers

Analyse de Bytecode par Raffinement

Document type :
Conference papers
Complete list of metadata

https://hal.sorbonne-universite.fr/hal-01558732
Contributor : Emmanuel Chailloux <>
Submitted on : Sunday, July 9, 2017 - 6:36:44 PM
Last modification on : Friday, January 8, 2021 - 5:32:07 PM

Identifiers

  • HAL Id : hal-01558732, version 1

Citation

Boubacar 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⟩

Share

Metrics

Record views

465