A Mechanically Verified Theory of Contracts. - Stéphane Kastenbaum; Benoît Boyer; Jean-Pierre Talpin (ICTAC, 2021)

Towards an Independent Version of Tarski's System of Geometry. - Pierre Boutry; Stéphane Kastenbaum; Clément Saintier (ADG, 2023)

On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic. (Sur la vérification mécanisée de la méta-théorie des contrats et son instanciation à la logique dynamique différentielle). - Stéphane Kastenbaum (2023)