Statistics
Publications
115
Citations
5.4K
H-Index
42
Active since
1959
Richard Anderson is an author at University of Washington specializing in engineering, computer science, and education.
Publications per year
1959–2024
115
115
Nilu Goonetilleke, Helen McShane, Carolyn M. Hannan et al. · The Journal of Immunology · 2003 · 359 citations · Full text
Model checking large software specifications
Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 308 citations · Full text
Model checking large software specifications
W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 1998 · 197 citations
1–5 of 115