Boubacar Demba Sall

According to our database, Boubacar Demba Sall authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Programmation impérative par raffinements avec l'assistant de preuve Coq. (Imperative programming by refinement in the Coq proof assistant).

Boubacar Demba Sall

PhD thesis, 2020

2019

A Mechanized Theory of Program Refinement.

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

Proceedings of the Formal Methods and Software Engineering, 2019