Analyse de Bytecode par Raffinement

Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017)
Liste complète des métadonnées

http://hal.upmc.fr/hal-01558732
Contributeur : Emmanuel Chailloux <>
Soumis le : dimanche 9 juillet 2017 - 18:36:44
Dernière modification le : mercredi 21 mars 2018 - 18:58:00

Identifiants

  • HAL Id : hal-01558732, version 1

Collections

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. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017). 〈hal-01558732〉

Partager

Métriques

Consultations de la notice

283