Sebastian Kreutzer is an author at RWTH Aachen University specializing in formal methods, hardware security, and system software.
Top concepts
CompilersEngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1