conf.researchr.org / François Bobot
François Bobot

Registered user since Mon 3 Apr 2017

Name: François Bobot

Affiliation: CEA

Contributions

OCaml 2017Committee Member in Program Committee within the OCaml 2017-track
POPL 2017Author of Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins within the Tutorials-track