Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Tags
Code Generation
May 8, 2023
Compilation
May 8, 2023
Mechanized proof
May 8, 2023
Operational semantics
May 8, 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
×