Accéder directement au contenu

Boubacar Demba Sall

3
Documents
Contact

Publications

Image document

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
Image document

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