Login / Signup
Christina Rickmann
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 4
Top Topics
Process Model
Formal Proof
Theorem Prover
Multiscale
Top Venues
ITP
CoRR
IFIP TCS
Arch. Formal Proofs
</>
Publications
</>