Concepedia

Author

Hendrik van Antwerpen

Delft University of TechnologyORCID

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

Delft University of Technology
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