Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
CompCert
VFPG
Verified Flight Plan Generator in Coq.
Repository
Paparazzi
Paparazzi
Cite
×