D.I.K. Sjoeberg is an author at Simula Research Laboratory specializing in formal methods, software maintenance, and system software.
Top concepts
DesignManagementEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2005–2005
1
1
Rows per page
1–1 of 1