3
Publications
52
Citations
3
H-Index
2008
Active since
Affiliations
Technische Universität Dresden(Current)
Roland Samlaus is an author at Technische Universität Dresden specializing in computational linguistics, formal methods, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2008–2017
3
3
Rows per page
1–3 of 3