Sebastian Eschweiler is an author at University of Bonn specializing in formal verification, software engineering, and system software.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Maintenance
Publications per year
2015–2016
2
2
Rows per page
1–2 of 2