P.-Th. Kandzia is an author at University of Freiburg specializing in automated reasoning, formal verification, and formal methods.
Top concepts
SemanticsEngineeringVerificationFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal Verification
Publications per year
1997–1997
1
1
FLORID: a prototype for F-logic
Juergen Frohn, Rainer Himmeröder, P.-Th. Kandzia et al. · 1997 · 44 citations
Rows per page
1–1 of 1