Cécile Ouvrier-Buffet

CO

3

Publications

104

Citations

3

H-Index

2006

Active since

Cécile Ouvrier-Buffet is an author at Laboratoire de Didactique André Revuz specializing in automated reasoning, engineering, and formal methods.

Publications per year

2006–2020

3

Publications

3