1
Publications
354
Citations
1
H-Index
1980
Active since
Affiliations
Evelyn L. Thigpen is an author at Sandia National Laboratories California specializing in computer engineering, program analysis, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisDesign For Testing
Publications per year
1980–1980
1
1
L. H. Goldstein, Evelyn L. Thigpen · 1980 · 354 citations · Full text
Rows per page
1–1 of 1