5
Publications
217
Citations
5
H-Index
1975
Active since
Affiliations
R.B. Worrell is an author at Sandia National Laboratories California specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceBotanyForestryGeographyProgram AnalysisAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
1975–2002
5
5
Rows per page
1–5 of 5