David Klinkenberg is an author at University of Pittsburgh specializing in automated reasoning, formal verification, and religious systems.
Top concepts
ClassicsLanguageEngineeringFormal MethodsComputer ScienceReligious SystemsAutomated ReasoningFormal Verification
Publications per year
2014–2024
2
2
Rows per page
1–2 of 2