Statistics
Publications
6
Citations
281
H-Index
6
Active since
1996
Affiliations
Eindhoven University of Technology(Current)
C.A.J. van Eijk is an author at Eindhoven University of Technology specializing in computer engineering, deductive verification, and verification.
Publications per year
1996–2002
6
6
1–5 of 6