Raynald Eloundou

RE

Statistics

Publications

2

Citations

117

H-Index

2

Active since

2002

Affiliations

Raynald Eloundou is an author at Georgia Institute of Technology specializing in formal verification, engineering, and formal methods.

Publications per year

2002–2010

2

Publications

2