Markus Degen is an author at University of Freiburg specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsFormal VerificationSystems EngineeringSoftware EngineeringSyntaxBusinessTeaching
Publications per year
2008–2012
3
3
The interaction of contracts and laziness
Markus Degen, Peter Thiemann, Stefan Wehr · 2012 · 11 citations
Htdp and dmda in the battlefield
Annette Bieniusa, Markus Degen, Phillip Heidegger et al. · 2008 · 10 citations
Rows per page
1–3 of 3