Verlässliche Software im 21. Jahrhundert

Stefan Wagner, Matthias Tichy, Michael Felderer +1

Software is the main innovation driver in many different areas, like cloud services, autonomous driving, connected medical devices, and high-frequency trading. All these areas have…