Dietrich Travkin is an author at Paderborn University specializing in reverse engineering, formal verification, and software reverse engineering.
Top concepts
DesignEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingGeometry ModelingSoftware Analysis
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1