Ruediger G. K. Loos is an author at University of Kaiserslautern specializing in formal verification, mathematical programming, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityMathematical Programming
Publications per year
1974–1974
1
1
Rows per page
1–1 of 1