Concepedia

Author

Jan Springintveld

Radboud University Nijmegen

Also Known As

Jan Springintveld

23

Publications

472

Citations

9

H-Index

12

Concepts

All Affiliations

Radboud University NijmegenCentrum Wiskunde & InformaticaEindhoven University of Technology
JS

About

Jan Springintveld is an author at Radboud University Nijmegen specializing in formal methods, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

289

2

Computer Science

2

2

289

3

Systems Engineering

1

1

13

4

Software Analysis

1

1

276

5

Software Testing

1

1

276

Jan Springintveld

×

7

Publications

400

Citations

7

H-Index

YearCitations

Page 1