Dirk Walravens is an author at KU Leuven specializing in formal methods, software architecture, and system software.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringSoftware Engineering
Publications per year
2005–2005
1
1
Position summary. DiPS: a unifying approach for developing system software
Sam Michiels, Frank Matthijs, Dirk Walravens et al. · 2005 · 14 citations
Rows per page
1–1 of 1