Concepedia

Author

David E. Langworthy

Also Known As

D. E. Langworthy, D. Langworthy, DAVID LANGWORTHY, David E. Langworthy, David Langworthy, Langworthy, David E.

17

Publications

242

Citations

7

H-Index

20

Concepts

All Affiliations

DE

About

David E. Langworthy is an author at Microsoft (United States) specializing in formal verification, formal methods, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

142

2

Computer Science

4

4

142

3

Language Studies

2

2

80

4

Systems Engineering

1

1

46

5

Business Intelligence

1

1

58

David E. Langworthy

×

5

Publications

200

Citations

5

H-Index

YearCitations

Page 1