Sigurd Schneider is an author at Saarland University specializing in formal verification, software engineering, and software testing.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2011–2012
2
2
Rows per page
1–2 of 2