2
Publications
29
Citations
2
H-Index
2007
Active since
Affiliations
Hewlett-Packard (United States)(Current)
Geetha Presenna Kumari is an author at Hewlett-Packard (United States) specializing in formal methods, software design, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2007–2008
2
2
Rows per page
1–2 of 2