Chazette, Larissa; Schneider, Kurt
(London : Springer, 2020)
Software systems are becoming increasingly complex. Their ubiquitous presence makes users more dependent on their correctness in many aspects of daily life. As a result, there is a growing need to make software systems and ...