Stephan Böhme

Summary

• 1 papers in 1 bundles
• Top 3 popular topics:
  • T1A: Design (1 times)
  • T5D: Formal Methods (1 times)
  • T1B: Static Semantics (1 times)
• Top 3 coauthors:
  • Thomas Kühn (1 times)
  • Sebastian Götz (1 times)
  • Uwe Aßmann (1 times)
• Made 1 contributions (see below)

List of contributions

• (SLE 2015) Coauthored A Combined Formal Model for Relational Context-Dependent Roles (Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.