Statistics
Publications
2
Citations
47
H-Index
2
Active since
2007
Affiliations
Heinrich Heine University Düsseldorf(Current)
Corinna Spermann is an author at Heinrich Heine University Düsseldorf specializing in symmetry detection, computing, and model theory.
Publications per year
2007–2008
2
2
Symmetry Reduced Model Checking for B
Edd Turner, Michaël Leuschel, Corinna Spermann et al. · 2007 · 24 citations
1–2 of 2