Boubacar Demba Sall

Publications

Communication dans un congrès (2)

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

Thèse (1)

Programmation impérative par raffinements avec l'assistant de preuve Coq Boubacar Demba Sall Informatique [cs]. Sorbonne Université, 2020. Français. ⟨NNT : ⟩ Thèse tel-04172640v1