Heinz Kredel is an author at University of Mannheim specializing in parallel computing, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingComputer EngineeringParallel ProgrammingSystem SoftwareNumerical Analysis
Publications per year
1986–2007
4
4
Rows per page
1–4 of 4