Concepedia

Author

S. De Lorenzis

Sapienza University of Rome

Also Known As

S. De Lorenzis

1

Publications

13

Citations

1

H-Index

6

Concepts

All Affiliations

Sapienza University of Rome
SD

About

S. De Lorenzis is an author at Sapienza University of Rome specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Science

1

1

13

3

Automated Reasoning

1

1

13

4

Formal Methods

1

1

13

5

Formal Verification

1

1

13

S. De Lorenzis

×

1

Publications

13

Citations

1

H-Index

YearCitations

Page 1