Statistics
Publications
1
Citations
103
H-Index
1
Active since
2009
Affiliations
Philippe Audebaud is an author at Institut national de recherche en sciences et technologies du numérique specializing in computational complexity, formal verification, and formal methods.
Publications per year
2009–2009
1
1
1–1 of 1