Felderer, Michael. <br/><br/>
Ernst Denert Award for Software Engineering 2020 :  Practice Meets Foundations. 

 - 1 online resource (290 pages) 
<br/><br/><label>ISBN: </label>9783030831288 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.758