Login / Signup
Sönke Holthusen
Publication Activity (10 Years)
Years Active: 2010-2016
Publications (10 Years): 2
Top Topics
Formal Proof
Theorem Prover
Oriented Programming
Development Tools
Top Venues
SPLC Workshops
PPPJ
PrePost@IFM
GI-Jahrestagung
</>
Publications
</>