1
Publications
342
Citations
1
H-Index
1968
Active since
Kenneth M. Warwick is an author specializing in automated reasoning, software engineering, and program analysis.
Top concepts
EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware Engineering
Publications per year
1968–1968
1
1
Rows per page
1–1 of 1