Felderer, Michael. Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations. - 1 online resource (290 pages) ISBN: 9783030831288 Index Terms--Genre/Form: Electronic books. LC Class. No.: QA76.758