Publications
|
A Mechanized Theory of Program RefinementICFEM 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 RaffinementApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France
Communication dans un congrès
hal-01558732v1
|
|
Programmation impérative par raffinements avec l'assistant de preuve CoqInformatique [cs]. Sorbonne Université, 2020. Français. ⟨NNT : ⟩
Thèse
tel-04172640v1
|