Concepedia

Author

Enrique Lopez-Droguett

Also Known As

Enrique Lopez-Droguett

3

Publications

16

Citations

2

H-Index

9

Concepts

EL

About

Enrique Lopez-Droguett is an author specializing in program analysis, verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Science

1

1

13

3

Systems Engineering

1

1

13

4

Software Analysis

1

1

13

5

Automated Reasoning

1

1

13

Enrique Lopez-Droguett

×

1

Publications

13

Citations

1

H-Index

YearCitations

Page 1