2
Publications
509
Citations
2
H-Index
1980
Active since
Affiliations
Kathryn L. Heninger is an author at United States Naval Research Laboratory specializing in systems engineering, computer science, and software design.
Top concepts
EngineeringVerificationFormal MethodsComplex SystemsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
1980–1980
2
2
Rows per page
1–2 of 2