David A. Molnar

DA

Statistics

Publications

2

Citations

1.1K

H-Index

2

Active since

2008

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

Publications per year

2008–2008

2

Publications

2