Statistics
Publications
1
Citations
54
H-Index
1
Active since
2008
Affiliations
Benoit Baudry is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in computer engineering, automated reasoning, and formal methods.
Publications per year
2008–2008
1
1
Model transformation testing: oracle issue
Jean‐Marie Mottu, Benoit Baudry, Yves Le Traon · 2008 · 54 citations
1–1 of 1