Concepedia

Author

Paul van Tilburg

Centrum Wiskunde & Informatica

Also Known As

PAUL VAN TILBURG, Paul van Tilburg, van Tilburg, Paul

9

Publications

66

Citations

5

H-Index

5

Concepts

All Affiliations

Centrum Wiskunde & Informatica
PV

About

Paul van Tilburg is an author at Centrum Wiskunde & Informatica specializing in formal verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

24

2

Computer Science

1

1

24

3

Automated Reasoning

1

1

24

4

Formal Methods

1

1

24

5

Formal Verification

1

1

24

Paul van Tilburg

×

1

Publications

24

Citations

1

H-Index

YearCitations

Page 1