Concepedia

Author

David Y. W. Park

Also Known As

David Y. W. Park

4

Publications

507

Citations

4

H-Index

13

Concepts

All Affiliations

DY

About

David Y. W. Park is an author at Stanford University specializing in formal verification, software engineering, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

483

2

Computer Engineering

2

2

483

3

Computer Science

2

2

483

4

Systems Engineering

2

2

483

5

Software Analysis

2

2

483

David Y. W. Park

×

3

Publications

496

Citations

3

H-Index

YearCitations

Page 1