Boubacar Demba Sall

3
Documents
Contact

Publications

Publications

Deposit thumbnail

A Mechanized Theory of Program Refinement

Boubacar Demba Sall , Frédéric Peschanski , Emmanuel Chailloux

ICFEM 2019 - 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.305-321, ⟨10.1007/978-3-030-32409-4_19⟩

Communication dans un congrès hal-02367566v1
Deposit thumbnail

Analyse de Bytecode par Raffinement

Boubacar Demba Sall , Frédéric Peschanski , Emmanuel Chailloux

Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France

Communication dans un congrès hal-01558732v1