Statistics
Publications
1
Citations
26
H-Index
1
Active since
2010
Affiliations
Radboud University Nijmegen(Current)
R.A. Van Batenburg is an author at Radboud University Nijmegen specializing in automated reasoning, formal verification, and engineering.
Publications per year
2010–2010
1
1
1–1 of 1