Static Analysis of Android Programs

Abstract : no abstract
Type de document :
Communication dans un congrès
Bjørner, Nikolaj and Sofronie-Stokkermans, Viorica. 23rd International Conference on Automated Deduction (CADE'11), Jul 2011, Wroclaw, Poland. Springer, 6803, pp.439--445, 2011, Lecture Notes in Computer Science
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01188018
Contributeur : Nicolas Alarcon <>
Soumis le : vendredi 28 août 2015 - 13:00:22
Dernière modification le : dimanche 5 novembre 2017 - 15:58:03

Identifiants

  • HAL Id : hal-01188018, version 1

Collections

Citation

Etienne Payet, Fausto Spoto. Static Analysis of Android Programs. Bjørner, Nikolaj and Sofronie-Stokkermans, Viorica. 23rd International Conference on Automated Deduction (CADE'11), Jul 2011, Wroclaw, Poland. Springer, 6803, pp.439--445, 2011, Lecture Notes in Computer Science. 〈hal-01188018〉

Partager

Métriques

Consultations de la notice

27