Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Tags
Coq
Sep 22, 2022
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
Sep 22, 2022
Paparazzi
Sep 22, 2022
Critical systems
Aug 27, 2021
Proof of program
Aug 27, 2021
»
Cite
×