Concepedia

Author

Arjen Rouvoet

Also Known As

Arjen Rouvoet, Rouvoet, A.J., Rouvoet, A.J. (author), Rouvoet, Arjen

12

Publications

137

Citations

6

H-Index

18

Concepts

All Affiliations

AR

About

Arjen Rouvoet is an author at Delft University of Technology specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

101

2

Computer Science

3

3

101

3

Linguistics

2

2

70

4

Language Studies

1

1

43

5

Compilers

1

1

43