Statistics
Publications
23
Citations
1.7K
H-Index
18
Active since
1971
Affiliations
David S. Wile is an author at University of Southern California specializing in computer science, computing, and programming languages.
Publications per year
1971–2022
23
23
David Garlan, Robert T. Monroe, David S. Wile · 2010 · 665 citations
David S. Wile · Communications of the ACM · 1983 · 128 citations · Full text
An Overview of AFFIRM: A Specification and Verification System.
Susan L. Gerhart, David R. Musser, D.H. Thompson et al. · IFIP Congress · 1980 · 83 citations
1–5 of 23