Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

How to Raise a Healthy Gamer: End Power Struggles, Break Bad Screen Habits, and Transform Your Relationship with Your Kids

Just Enough Software Architecture: A Risk-Driven Approach

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Domain-Driven Design: Tackling Complexity in the Heart of Software

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Algorithms: Edition 4

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Our Final Invention: Artificial Intelligence and the End of the Human Era

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Modern Software Engineering: Doing What Works to Build Better Software Faster

Deductive Software Verification – The KeY Book: From Theory to Practice

Software Engineering at Google: Lessons Learned from Programming Over Time

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Domain-Driven Design in PHP

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Domain-Driven Design Reference: Definitions and Pattern Summaries

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Handbook of Tableau Methods