Juergen Frohn is an author at University of Freiburg specializing in formal methods, automated reasoning, and engineering.
Top concepts
SemanticsEngineeringFormal MethodsComputer ScienceAutomated ReasoningSyntaxLanguageSemantic WebVerificationSoftware Design
Publications per year
1994–1997
2
2
FLORID: a prototype for F-logic
Juergen Frohn, Rainer Himmeröder, P.-Th. Kandzia et al. · 1997 · 44 citations
Rows per page
1–2 of 2