Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Tags
Code Generation
Jul 19, 2023
Compilation
Jul 19, 2023
Mechanized proof
Jul 19, 2023
Operational semantics
Jul 19, 2023
Coq
Mar 20, 2023
Projects
Sep 22, 2022
Abstract interpretation
Mar 30, 2022
Deductive methods
Mar 30, 2022
Frama-C
Mar 30, 2022
Program Proof
Mar 30, 2022
»
Cite
×