この資料をSMS送信: Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations