Concepedia

Author

Laura Effinger-Dean

University of Washington

Also Known As

Effinger-Dean, Laura, Laura Effinger-Dean

13

Publications

176

Citations

5

H-Index

17

Concepts

All Affiliations

University of WashingtonHewlett-Packard (United States)
LE

About

Laura Effinger-Dean is an author at University of Washington specializing in formal methods, formal verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

165

2

Computer Science

4

4

165

3

Computer Engineering

2

2

132

4

Computer Architecture

2

2

33

5

Programming Languages

1

1

26

Laura Effinger-Dean

×

4

Publications

165

Citations

4

H-Index

YearCitations

Page 1