Alexander von Rhein
Identifiers
- name variant Alexander von Rhein 0.60 · backfill
Papers (2)
- Domain Types: Selecting Abstractions Based on Variable Usage cs.SE · 2013 · author #5
- Feature-Aware Verification cs.SE · 2011 · author #4
Mentions
Frequent Coauthors
- Dirk Beyer 2 shared papers
- Sven Apel 2 shared papers
- Franco Raimondi 1 shared papers
- Hendrik Speidel 1 shared papers
- Karlheinz Friedberger 1 shared papers
- Philipp Wendler 1 shared papers