Publicações 2017-2020

• 2020
  • B. Sall : “Programmation impérative par raffinements avec l’assistant de preuve Coq”, tese, defesas 01/10/2020, direção de pesquisa Chailloux, Emmanuel, co-supervisão£o : Peschanski, Frédéric (2020)
• 2019
  • B. Sall, F. Peschanski, E. Chailloux : “A Mechanized Theory of Program Refinement”, ICFEM 2019 - 21^st International Conference on Formal Engineering Methods, vol. 11852, Lecture Notes in Computer Science, Shenzhen, China, pp. 305-321, (Springer) (2019)
• 2017
  • B. Sall, F. Peschanski, E. Chailloux : “Analyse de Bytecode par Raffinement”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France (2017)