Concepedia

Author

David A. Molnar

University of California, Berkeley

Also Known As

David A. Molnar

3

Publications

1.1K

Citations

3

H-Index

13

Concepts

All Affiliations

University of California, Berkeley
DA

About

David A. Molnar is an author at University of California, Berkeley specializing in program analysis, formal verification, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

73

2

Computer Science

1

1

73

3

Software Analysis

1

1

73

4

Software Engineering

1

1

73

5

Software Testing

1

1

73

David A. Molnar

×

2

Publications

1.1K

Citations

2

H-Index

YearCitations

Page 1