Christoph Benzm is an author at Saarland University specializing in proof complexity, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProof ComplexityAutomated ReasoningFormal VerificationArtificial Intelligence
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1