Benjamin Barslev Nielsen is an author at Aarhus University specializing in computer science, software analysis, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsSoftware DesignStatic AnalysisSoftware TestingFormal Verification
Publications per year
2017–2021
7
7
Rows per page
1–5 of 7