Analyse de Bytecode par Raffinement

Document type :
Conference papers
Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-01558732
Contributor : Emmanuel Chailloux <>
Submitted on : Sunday, July 9, 2017 - 6:36:44 PM
Last modification on : Thursday, March 21, 2019 - 1:21:16 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

404