Stefan Kastenholz is an author at Roland Ernst Stiftung specializing in formal methods, software architecture, and automated reasoning.
Top concepts
EngineeringData ScienceSemantic WebData ModelingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1