Concepedia

Author

David A. Mix Barrington

University of Massachusetts Amherst

Also Known As

David A. Mix Barrington

2

Publications

601

Citations

2

H-Index

5

Concepts

All Affiliations

University of Massachusetts AmherstBoston College
DA

About

David A. Mix Barrington is an author at University of Massachusetts Amherst specializing in formal methods, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

601

2

Computer Science

2

2

601

3

Formal Methods

2

2

601

4

Computational Complexity

1

1

484

5

Formal Verification

1

1

117

David A. Mix Barrington

×

2

Publications

601

Citations

2

H-Index

YearCitations

Page 1