Login / Signup
Peter Häring
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Case Study
Formal Evaluation
Top Venues
ICPC
</>
Publications
</>
Dirk Beyer
,
Peter Häring
A formal evaluation of DepDegree based on weyuker's properties.
ICPC
(2014)