Christian Sternagel

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 30

Top Topics

Rewrite Systems

Theorem Proving

Reachability Analysis

Link The Wiki Track

Top Venues

Arch. Formal Proofs

Publications