Don McKay

DM

4

Publications

2K

Citations

4

H-Index

1976

Active since

Affiliations

Don McKay is an author at Indiana University Bloomington specializing in formal methods, program analysis, and software testing.

Publications per year

1976–1997

4

Publications

4