Concepedia

Author

Ola Lundqvist

Volvo (Sweden)

Also Known As

Ola Lundqvist

6

Publications

37

Citations

2

H-Index

9

Concepts

All Affiliations

Volvo (Sweden)
OL

About

Ola Lundqvist is an author at Volvo (Sweden) specializing in formal verification, verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Science

1

1

16

3

Software Analysis

1

1

16

4

Software Testing

1

1

16

5

Automated Reasoning

1

1

16

Ola Lundqvist

×

2

Publications

37

Citations

2

H-Index

YearCitations

Page 1