Concepedia

Author

Michelle De Santis

Syracuse University

Also Known As

Michelle De Santis

1

Publications

43

Citations

1

H-Index

7

Concepts

All Affiliations

Syracuse University
MD

About

Michelle De Santis is an author at Syracuse University specializing in verification, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

43

2

Computer Science

1

1

43

3

Automated Reasoning

1

1

43

4

Data Integrity

1

1

43

5

Formal Methods

1

1

43

Michelle De Santis

×

1

Publications

43

Citations

1

H-Index

YearCitations

Page 1