Concepedia

Arjen van Weelden

AV

1

Publications

37

Citations

1

H-Index

2005

Active since

Affiliations

Radboud University Nijmegen(Current)

Arjen van Weelden is an author at Radboud University Nijmegen specializing in formal methods, program analysis, and engineering.

Top concepts

Publications per year

2005–2005

1

Publications

1

There and back again

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden et al. · 2005 · 37 citations

, , +9

Rows per page

1–1 of 1