Mike Czech is an author at Paderborn University specializing in formal verification, software validation, and system software.
Top concepts
EngineeringData ScienceVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2017–2017
1
1
Predicting rankings of software verification tools
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs et al. · 2017 · 28 citations
Rows per page
1–1 of 1