Concepedia

Author

Hendrik van Antwerpen

Also Known As

Antwerpen, Hendrik Van, H. Van Antwerpen, Hendrik van Antwerpen, van Antwerpen, Hendrik

19

Publications

84

Citations

5

H-Index

11

Concepts

All Affiliations

HV

About

Hendrik van Antwerpen is an author at Delft University of Technology specializing in formal verification, software design, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

31

2

Computer Science

1

1

31

3

Programming Languages

1

1

31

4

Software Analysis

1

1

31

5

Automated Reasoning

1

1

31

Hendrik van Antwerpen

×

1

Publications

31

Citations

1

H-Index

YearCitations

Page 1