You are about to access our book library "Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations full version" .