Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Tags
Projects
Sep 22, 2022
Abstract interpretation
Mar 30, 2022
Deductive methods
Mar 30, 2022
Frama-C
Mar 30, 2022
Program Proof
Mar 30, 2022
CompCert
Mar 20, 2023
Paparazzi
Mar 20, 2023
Critical systems
Aug 27, 2021
Interprétation abstraite
Jul 11, 2021
Méthodes déductives
Jul 11, 2021
«
»
Cite
×