Statistics
Publications
1
Citations
45
H-Index
1
Active since
1988
Affiliations
University of Massachusetts Amherst(Current)
R.P. Henchey is an author at University of Massachusetts Amherst specializing in automated model checking, formal methods, and software construction.
Publications per year
1988–1988
1
1
A knowledge-based system for automated architectural code checking
Clive L. Dym, R.P. Henchey, E.A. Delis et al. · Computer-Aided Design · 1988 · 45 citations
1–1 of 1