Statistics
Publications
3
Citations
46
H-Index
3
Active since
2013
Benoît Boyer is an author at Centre Inria de l'Université de Rennes specializing in computer science, specification languages, and computing.
Publications per year
2013–2017
3
3
Incremental Generation of Linear Invariants for Component-Based Systems
Saddek Bensalem, Marius Bozga, Benoît Boyer et al. · 2013 · 15 citations
1–3 of 3