8
Publications
141
Citations
8
H-Index
2002
Active since
Affiliations
Sibylle Schupp is an author at Chalmers University of Technology specializing in software analysis, engineering, and computer science.
Top concepts
EngineeringComputer ScienceSoftware AnalysisProgram AnalysisSoftware EngineeringFormal MethodsSoftware DesignSystem SoftwareAutomated ReasoningFormal Verification
Publications per year
2002–2010
8
8
A comparison of c++ concepts and haskell type classes
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski et al. · 2008 · 23 citations
Rows per page
1–5 of 8