Concepedia

Author

Davide Daolio

University of Ferrara

Also Known As

Davide Daolio

2

Publications

76

Citations

2

H-Index

12

Concepts

All Affiliations

University of Ferrara
DD

About

Davide Daolio is an author at University of Ferrara specializing in automated reasoning, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

76

2

Computer Science

2

2

76

3

Systems Engineering

2

2

76

4

Data Security

1

1

12

5

Information

1

1

12

Davide Daolio

×

2

Publications

76

Citations

2

H-Index

YearCitations

Page 1