R.A. Van Batenburg

RV

Statistics

Publications

1

Citations

26

H-Index

1

Active since

2010

Affiliations

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

Publications

1