Statistics
Publications
2
Citations
137
H-Index
2
Active since
1980
Affiliations
Roddy W. Erickson is an author at Pontifícia Universidade Católica do Rio de Janeiro specializing in verification, computing, and computer science.
Publications per year
1980–1982
2
2
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–2 of 2