1
Publications
45
Citations
1
H-Index
1987
Active since
Timothy G. Lindholm is an author specializing in program analysis, logic programming, and formal methods.
Top concepts
SemanticsEngineeringFormal MethodsComputer ScienceProgram AnalysisLogic ProgrammingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1987–1987
1
1
Rows per page
1–1 of 1