Proof-oriented domain-specific language design for high-assurance software. (Design de langage dédié orienté vers la preuve pour le logiciel critique). - Merigoux, Denis (2021)